Mac
2
TreeTerm
TreeTerm est une combinaison d'un gestionnaire de fichiers et d'un émulateur de terminal.Le répertoire que vous sélectionnez dans l'arborescence des répertoires est le répertoire de travail du volet terminal (et inversement).Vous n'avez plus besoin de «cd» dans votre répertoire de travail.
- Payante
- Mac
2
1
2
12
0
3
Tallowmere
Plate-forme d'action inspirée de roguelike 2D avec des salles générées de manière procédurale pour une nouvelle expérience à chaque match.
0
1
0
2
z3
Z3 est un prouveur de théorème de Microsoft Research.
- Gratuite
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++