Projects in Awesome Lists tagged with normalization-by-evaluation
A curated list of projects in awesome lists tagged with normalization-by-evaluation .
https://github.com/brendanzab/rust-nbe-for-mltt
Normalization by evaluation for Martin-Löf Type Theory with dependent records
bidirectional-typechecking debruijn-indices dependent-record-types dependent-records dependent-types normalization-by-evaluation rust semantic-typechecking type-checker type-inference type-system type-theory unification
Last synced: 08 Sep 2025
https://github.com/RedPRL/algaett
🦠 An experimental elaborator for dependent type theory using effects and handlers
algebraic-effects normalization-by-evaluation ocaml ocaml-program proof-assistant type-theory
Last synced: 10 Jul 2025
https://github.com/redprl/algaett
🦠 An experimental elaborator for dependent type theory using effects and handlers
algebraic-effects normalization-by-evaluation ocaml ocaml-program proof-assistant type-theory
Last synced: 25 Apr 2025
https://github.com/totbwf/teenytt
A Teeny Type Theory
dependent-types elaboration normalization-by-evaluation proof-assistant
Last synced: 06 Sep 2025
