Magda language resource site
ELEFLEX is a C# framework for SOA, ESB and code generation solutions.
proof verifier for mathematical proofs and documentation generator
Hypervisor R&D for recent x86 with support for DRTM + 2D paging
Updated with Lua AI
wiki engine for small teams
OpenPatientOS is an information system for managing patient records
A set of library for C++, including a script programming language
clustering, machine learning, algorithms
Command to convert a PRCS project to Mercurial revisions
The HTML 5 JavaScript diagramming library
MatLab functions for reading WinView/WinSpec .spe files
Multi-Purpose Automation Grid
User Friendly Data Analysis Tool for Interaction Data
a code generator for any programming language
C++ flow-based metaprogramming library