hoas topic

List hoas repositories

Beluga

180
Stars
16
Forks
Watchers

Contextual types meet mechanized metatheory!

verified publisher icon Beluga-lang

ocaml-bindlib

39
Stars
6
Forks
Watchers

Efficient binder representation in OCaml

verified publisher icon rlepigre