Linux

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.

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.