Challenging examples, exercises and projects
A portable, multi-platform, command-line driven graphing utility
plugin-based framework for systematic and reproducible experimentation
DOMjudge is an automated judge system for programming contests.
Didactic tool to support First Order Logic semantics learning