A framework for dealing with lambda calculus expressions.
Distributed Network emulation tool for high rate packet
A small, basic, yet powerful and competent primality tester.
Quantum Leaps (QPC) DPP example with LWIP on STM3220G eval board
Apache Cayenne, Wicket, CXF, GWT, EJB examples as a framework
Toolkit for Automatic Control and Dynamic Optimization
UML 2 Statemachine for C++ is a development framework with DSL support
Quake III Arena GPL Source Release
Easy to use physics simulation combining ODE with OpenInventor.
Simple AVR OS
Read and write PGN format and test moves for legality.