phyver/chariot phyver/chariot

  • Stars
    star
    4
  • Rank 3,306,950 (Top 66 %)
  • Language
    OCaml
  • License
    Other
  • Created over 7 years ago
  • Updated over 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
phyver/chariot
github

phyver

Reviews

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

Repository Details

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

More Repositories

1

GameShell

a game to learn (or teach) how to use standard commands in a Unix shell
Shell
2,133
star
2

create_symmetry

implementation of Franck Farris recipes to produce wallpaper patterns
Python
9
star
3

VernierWheel

JavaScript
3
star
4

FuseWhirlpools

JavaScript
1
star
5

ML-regular

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