Challenging examples, exercises and projects
A portable, multi-platform, command-line driven graphing utility
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
A Numerical MRI Simulation Platform
A system for computer algebra and symbolic mathematics
plugin-based framework for systematic and reproducible experimentation
gMol molecular graphics
SES brings back the uncrackable onetime pad, with a digital twist.
fast data movement over high-bandwidth networks
DOMjudge is an automated judge system for programming contests.
Didactic tool to support First Order Logic semantics learning