Linux
9
Subtitle Editor
Der Untertitel-Editor ist ein GTK + 3-Tool zum Bearbeiten von Untertiteln für GNU / Linux / * BSD.
0
7
0
4560
Google Chrome
Ein kostenloser Webbrowser, der von Google aus dem Open-Source-Chromium-Projekt entwickelt wurde und sich auf Geschwindigkeit und Minimalismus konzentriert.
- Kostenlose
- PortableApps.com
- Windows
- Mac
- Linux
- Chrome OS
- Android
- iPhone
- iPad
- Android Tablet
- BSD
8
1
12
0
3
Tallowmere
Von 2D-Action inspirierter Plattformspieler mit prozedural generierten Räumen für eine neue Erfahrung in jedem Spiel.
15
Alpine Linux
Alpine Linux ist eine sicherheitsorientierte, schlanke Linux-Distribution, die auf musl libc und busybox basiert.
- Kostenlose
- Linux
0
1
2
z3
Z3 ist ein Theorembeweiser von Microsoft Research.
- Kostenlose
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
1
11
Autodesk Softimage
Autodesk Softimage (ehemals SOFTIMAGE | XSI) ist eine vollständige 3D-Software für visuelle Effekte und die Erstellung von Spielen.