Open Source Reporting & Data Visualization Platform
A framework to capture and analyse interactive proof process
Similarity, Comparative genomic, Visualization, Eclipse RCP, SimiTri
CMake Managed Build Support for the Eclipse CDT
Distributed forums
Custom firmware and IDE for the VEX Cortex Microcontroller
Tic-Tac-Toe (X and O)
SASyLF is an proof assistant for reasoning about programs.
Proteus is an interactive Laboratory Journal for Gel-based Proteomics
Transforms, Manipulates, Sorts and Splits XML Documents
Design your ORM application in a platform independent way.
Automatically generates Unit Tests and provides feedback in eclipse.
An open source video streaming server