hoas topic
List
hoas repositories
Beluga
180
Stars
16
Forks
Watchers
Contextual types meet mechanized metatheory!
ocaml-bindlib
39
Stars
6
Forks
Watchers
Efficient binder representation in OCaml