Java
3
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++
14
1
0
1
gedcom4j
gedcom4j est une bibliothèque Java open-source et gratuite (fichier jar) qui peut lire, manipuler et écrire des données généalogiques en utilisant le format GEDCOM dans vos propres programmes Java ... y compris des projets commerciaux à source fermée.
0
1
Moesif
Enregistrez et analysez les requêtes HTTP.Facilite le débogage des API REST et des applications intégrées.
0
1
WorldEdit - Minecraft MOD
WorldEdit est un éditeur de carte Minecraft en jeu facile à utiliser.Grâce à une combinaison de commandes et de «pinceaux», vous pouvez sculpter votre monde ou simplement effectuer de nombreuses tâches de terraformation.
