A low-power ISA design and simulator for a 2010 IEEE competition
Geospatial Distributed Version Control System
Dataflow parallel programming language for clusters
An automated continuous integration server for the .NET platform
CMake Managed Build Support for the Eclipse CDT
JBernstein: Exploration techniques for non-linear constraint checking
Open Source Penetration Testing / Ethical Hacking Framework
OpenPatientOS is an information system for managing patient records
A Java Business Integration (JBI, JSR-208) based ESB implementation
proof verifier for mathematical proofs and documentation generator
MD5sum is an utility that calculates 128-bit MD5 hash
Library containg a set of various classes for java