Projects in Awesome Lists tagged with hoas

A curated list of projects in awesome lists tagged with hoas .

• Sort

  • Recently synced
  • Stars

https://github.com/Beluga-lang/Beluga

Contextual types meet mechanized metatheory!

beluga dependent-types hoas lf ocaml

Last synced: 12 May 2025

https://github.com/rlepigre/ocaml-bindlib

Efficient binder representation in OCaml

binders hoas

Last synced: 16 Jul 2025