A low-level system programming language with high-level syntax
The Murder Accountability Project's Serial Killer Algorithm
Crowd-sourcing CJK font project
Proof Logic : A logical framework for theorem proving
Remote Scrum Communication & Collaboration Suite :: Scrum Board & co
libPGF is an implementation of the Progressive Graphics File (PGF)
Mixed Integer Linear Programming (MILP) solver.
Task Parallel Engine for JavaSE
A collection of machine-checkend mathematical proofs
Pure Java HTML / CSS rendering engine
Simple solution for testing and documenting short code snippets.
Implementation of LZW compression algorithm in C
CAM XML Editor for XML+JSON+Hibernate+SQL Open-XDX sponsored by Oracle
Real-time interactive 3D graphics API for scientific simulations
Marathon supports testing of Java/Swing and Java/Fx applications.
Neural Networks Collection
polyglot language framework to analyze genetic data