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).