Linux
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.
4
0
1
EasyHotspot
EasyHotspot ist ein einfach zu bedienendes Open Source Hotspot Management System.
- Kostenlose
- Linux
1
mapmywindows
Ein kleines Programm zum Ein- und Ausblenden von Fenstern im X-Window-System.Die meisten Linux-Distributionen verwenden einen Anzeigeserver mit X-Window-System. Mit diesem Programm können Sie Fenster einfach ein- und ausblenden.
0
0
2
7
X-moto
X-Moto ist ein herausforderndes 2D-Motocross-Plattformspiel, bei dem die Physik eine wichtige Rolle im Gameplay spielt.
- Kostenlose
- PortableApps.com
- Windows
- Mac
- Linux
2
2
SKDownloader
SKDownloader ist ein kostenloser Torrent-Client und Download-Beschleuniger.
4
12
uPlexa
Anreize für die Rechenleistung von IoT-Geräten, um ein Mittel für anonyme Blockchain-Zahlungen zu bilden.
9
Chrome Data Saver
Reduziert die Datennutzung durch die Verwendung von Google-Servern zur Optimierung der von Ihnen besuchten Seiten.