GameShell. a game to learn (or teach) how to use standard commands in a Unix shell
3.1kcreate_symmetry. implementation of Franck Farris recipes to produce wallpaper patterns
11VernierWheel. JavaScript
5chariot. Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle
4ML-regular. small interpreter to play with (theoretical) regular expressions, automata and grammars (used as a teaching aid)
1