OStatic

Lazarus is a free and open source development tool for the FreePascal Compiler. The purpose of the project is to serve as a Code Repository, Wiki Know...

LaTeXDraw is a graphical opensource PSTricks code generator or a PSTricks editor for LaTeX distributed under the GNU GPL. LaTeXDraw is developped in j...

MERMAID is an object-oriented domain modeling tool to create enterprise models using an UML class diagram, an object-event table and finite state mach...

A modular OCL (Object Constraint Language) toolkit. Parses and type-checks OCL constraints, and instruments java code for runtime verification. Integr...

The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in desi...

The CCM Tools are CASE tools used for generating CORBA components, test components, and test programs based on source IDL files. Various target langua...

Confluence is a modern functional programming language for the design and verification of digital logic, systems-on-chip, and real-time embedded softw...

Lapg is the combined lexical analyzer and parser generator, which converts a description for a context-free LALR1 grammar into source file to parse t...

Comprehensive & high performance data processing/transform system. Features a simple, user-friendly event driven scripting interface transparently...

An Enterprise Focused Java Framework For Rapid Application Development. JAFFA is a Java web application development stack, extending exsiting project...