Computer Algebra System written in Common Lisp
A cross-platform statistical package for econometric analysis
A framework for implementing real-time control systems
a Productive Parallel Programming Language
Fast C library for relation algebra using binary decision diagrams.
UML 2 Statemachine for C++ is a development framework with DSL support
A Nondeterministic GLR Parser for CUDA