Pinned Loading

1. chariotchariotPublic

   Prototype functional programming language with nested inductive / coinductive types, with totality checking using the size change principle

   OCaml 4

2. create_symmetrycreate_symmetryPublic

   implementation of Franck Farris recipes to produce wallpaper patterns

   Python 11 2

3. GameShellGameShellPublic

   a game to learn (or teach) how to use standard commands in a Unix shell

   Shell 3.2k 193

4. ML-regularML-regularPublic

   small interpreter to play with (theoretical) regular expressions, automata and grammars (used as a teaching aid)

   OCaml 1