Popular repositories Loading

1. MLSR MLSR Public

   A functional programming language with polymorphic algebraic effects, handlers, and signature restriction

   OCaml 13 1

2. miniocaml miniocaml Public

   subset of ml

   OCaml 3

3. lambda lambda Public

   interpreter for lambda calculus

   OCaml 1

4. Sorter Sorter Public

   Forked from hatena/Sorter

   Perl 1

5. sysf sysf Public

   interpreter of System F and the derived type systems.

   OCaml

6. dotfiles dotfiles Public

   Emacs Lisp