Eclipse integration for Isabelle proof assistant
efficient data generation for benchmarks and performance analysis
Access to Irrlicht Engine SDK from assembler, C, Python, Basic, Pascal
Library for optimization using a genetic algorithm or particle swarms
Gamification of source code and wikis to improve documentation quality
"SiMTraM" Simulation of Mixed Traffic Mobility
Ada compiler support for TI MSP430 processors
SCons tool to cooperate with dvipdfm program
Approximate Subgraph Matching Algorithm for Dependency Graphs
A schema to describe ANSI/ISO SQL in XML and associated tools
Go to github.com/vlm/asn1c for the latest version.
Null dereference verifier for Java Programs
A database rapid application development tool