C++ libraries for manipulations in non-Euclidean geometry
application to learn classical score notation.
MathMod is a mathematical modeling software
Data structures and Algorithms library
Qt Visual Graph Editor
A system for computer algebra and symbolic mathematics
Zero copy MMAP linux network drivers
gMol molecular graphics
New dimensions in interactive training of radiological anatomy
DOMjudge is an automated judge system for programming contests.
3-DPhysicsSim is an interactive 3-D physics simulator.
An interactive undergraduate biology tutorial
Didactic tool to support First Order Logic semantics learning
Low cost interactive whiteboard for GNU/Linux