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
SableCC is a parser generator which generates object-oriented frameworks for building compilers, interpreters and other text parsers. SableCC keeps a clean separation between machine and user code which leads to a shorter development cycle.
...Please refer to our main website: www.jolie-lang.org
Jolie is the first full-fledged programming language based upon the service-oriented paradigm, suitable to create new services from scratch or to compose existing ones in powerful orchestrators in order to obtain new functionalities. You can use Jolie for building any kind of distributed applications. Examples are cloud middleware, web portals, and standalone concurrent applications.
Seppia is a simple Java technology for building an application from constituent parts.
Seppia will challenge the way you think of Java based component computing.
Decouple your GUI building code from the rest of your application. Using an XML description, the Java Gui Builder will build appropriate windows, controls and objects for later retrieval by the mainstream code.
TreeScript a next generation Java based language for inserting into and building large (proxy based) XML like object trees. It allows code and diverse data sources to be acted upon is if they were simple atomic and node type values.