Pinned Loading

1. chariot chariot Public

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

   OCaml 4

2. create_symmetry create_symmetry Public

   implementation of Franck Farris recipes to produce wallpaper patterns

   Python 10 2

3. GameShell GameShell Public

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

   Shell 2.1k 136

4. ML-regular ML-regular Public

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

   OCaml 1