Popular repositories Loading

1. normalization-bench normalization-bench Public

   Benchmarking various normalization algorithms for the lambda calculus

   OCaml 48 2

2. trebor trebor Public

   an implementation of Observational Type Theory (OTT) and more

   OCaml 30 1

3. pruning-tutor pruning-tutor Public

   a tutorial implementation on an elaborator of a dependently typed language with pruning

   OCaml 26

4. coqoune coqoune Public

   CoqIDE-like experience for kakoune

   OCaml 10 1

5. ipudp ipudp Public

   tunnel IP over UDP, with encryption and random padding

   Python 4

6. dotfiles dotfiles Public

   Shell