Community Z Tools Project (CZT):
Tools for editing, typechecking and animating Z
specifications and related notations.
Includes a Java framework for building formal methods tools.
NOTE: development of CZT has now moved to GitHub:
https://github.com/community-z-users/czt
C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.
This is an utility, used to convert java serializable object to javascript object. It follows JSON ( Javascript Object Notation). This utility mainly useful in web2.0 application development.
MOVED to https://github.com/poikilos/outputinspector
Output Inspector is a standalone Qt helper app for Kate that allows you to double-click to jump to the file and line of code at which your compiler found errors (for mono or any C# or other compiler using "filename(line,position): error" notation).
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.