Java
![DBpedia](https://i.altapps.net/icons/dbpedia-e9c13.jpeg)
3
![z3](https://i.altapps.net/icons/z3-1bd05.png)
2
z3
Z3 е доказател на теоремата от Microsoft Research.
- Безплатно
- Windows
- Mac
- Linux
- Java
- WebAssembly
- C (programming language)
- OCaml
- Python
- C++
![RPGBoss](https://i.altapps.net/icons/rpgboss-8375e.png)
14
![JPPF](https://i.altapps.net/icons/jppf-8e991.png)
1
![Nuncabola](https://i.altapps.net/icons/nuncabola-acc6.png)
0
![gedcom4j](https://i.altapps.net/icons/gedcom4j-7114.png)
1
gedcom4j
gedcom4j е библиотека с отворен код, свободна за използване Java файл (jar файл), която може да чете, манипулира и записва генеалогични данни, използвайки формата GEDCOM във вашите собствени Java програми ... включително комерсиални проекти със затворен код.
![Sakki's Client Essentials (SCE)](https://i.altapps.net/icons/sakkis-client-essentials-sce-6d55e.png)
0
![Moesif](https://i.altapps.net/icons/moesif-5736.png)
1
Moesif
Влезте и анализирайте HTTP заявки.Улеснява отстраняването на грешки в REST API и интегрираните приложения.
![WorldGuard - Minecraft Plugin](https://i.altapps.net/icons/worldguard-minecraft-plugin-302f7.png)
0
![WorldEdit - Minecraft MOD](https://i.altapps.net/icons/worldedit-61757.png)
1
WorldEdit - Minecraft MOD
WorldEdit е лесен за използване редактор на карти Minecraft в играта.Чрез комбинация от команди и "четки" можете да извайвате своя свят или просто да изпълнявате многобройни задачи за оформяне.