Declarative rich internet application platform
Simple struct storage system, database library and engine.
Proof Logic : A logical framework for theorem proving
Pointer Lock for Java AWT/Swing
Real-time interactive 3D graphics API for scientific simulations
R7RS Scheme scripting engine
Binary Diff and Undiff Utility
biblioteca de suporte à programação genérica em C
Unleashing the potentials of types and templates
Cygwin cross-compiler for Fedora
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Ada cross compiler and libraries for AVR µCs
Relational Database Management System
Parallel simulators for Membrane Computing on the GPU
C++ CASE tool, full life cycle code generator