Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with dependent-records
A curated list of projects in awesome lists tagged with dependent-records .
https://github.com/pikelet-lang/pikelet
A friendly little systems language with first-class types. Very WIP! π§ π§ π§
bidirectional-typechecking compiler dependent-record-types dependent-records dependent-types programming-language rust systems-language systems-programming type-system type-theory typechecker
Last synced: 02 Aug 2024
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: 03 Aug 2024