Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle
OCaml 4
implementation of Franck Farris recipes to produce wallpaper patterns
Python 6 1
a game to learn (or teach) how to use standard commands in a Unix shell
Shell 911 41
small interpreter to play with (theoretical) regular expressions, automata and grammars (used as a teaching aid)
OCaml 1
phyver
Follow
