Lint your JavaScript inside ERB (embedded Ruby) files

Tool to generate markdown files from lean files. This is heavily inspired by lean2md.

Graph theory (network) library for visualisation and analysis

a symbolic math expression evaluator for javascript

Mathematisches Übungsgruppen- und Scheinlisten-Interface

an elearning system with basic answer types yes/no/matrix

e-learning project for mathematical examples