openLMIS -
"OpenLMIS is a collaboration of domain experts in logistics and supply chains, eHealth information systems, software development for low-resource settings, and process improvement."
(http://www.openlmis.org/)
AMIDST is designed to help enhance the process of finding structures, biomes, and players in Minecraft.
By accessing your Minecraft files, it's able to draw the biomes of the world out and show where points of interest are likely to be.
π-translate is a program (and accompanying framework) to convert source code to its equivalent π-calculus representation.
From there, it is possible to further process the resulting expressions; the default plugin will try to produce a name-bounded version(*) and, on request, the accompanying
... [More] Petri-Net representation.
The main goal is to enable the user to run a series of static verification tests on the original code.
(*) Reiner Hüchting, Rupak Majumdar, and Roland Meyer. “A Theory of Name-Boundedness”. [Less]
A Maven 2/3 plugin to store credentials from settings.xml and security-settings.xml in properties where they can be used by other plugins and/or Java code.
This site uses cookies to give you the best possible experience.
By using the site, you consent to our use of cookies.
For more information, please see our
Privacy Policy