phyver/chariot

Stars
4
Rank 3,304,323 (Top 66 %)
Language
OCaml
License
Other
Created over 7 years ago
Updated over 6 years ago

phyver/chariot

phyver

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

GameShell

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

create_symmetry

implementation of Franck Farris recipes to produce wallpaper patterns

VernierWheel

FuseWhirlpools

ML-regular

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