Java
3
2
z3
Z3 es un probador de teoremas de Microsoft Research.
14
1
0
1
gedcom4j
gedcom4j es una biblioteca Java de código abierto y libre de usar (archivo jar) que puede leer, manipular y escribir datos de genealogía utilizando el formato GEDCOM en sus propios programas Java ... incluidos proyectos comerciales de código cerrado.
0
1
Moesif
Registre y analice las solicitudes HTTP.Facilita la depuración de las API REST y las aplicaciones integradas.
0
1
WorldEdit - Minecraft MOD
WorldEdit es un editor de mapas de Minecraft fácil de usar en el juego.Mediante una combinación de comandos y "pinceles", puede esculpir su mundo o simplemente realizar numerosas tareas de terraformación.
