2 results found Sort:

pikelet-lang
pikelet pikelet-lang
26
610
apache-2.0
30
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
rust compiler type-system type-theory typechecker dependent-types systems-language dependent-records systems-programming programming-language dependent-record-types bidirectional-typechecking
Created 2017-12-19
1,071 commits to main branch, last one 3 years ago
brendanzab
rust-nbe-for-mltt brendanzab
6
93
mit
12
Normalization by evaluation for Martin-Löf Type Theory with dependent records
rust type-system type-theory unification type-checker type-inference dependent-types debruijn-indices dependent-records semantic-typechecking dependent-record-types bidirectional-typechecking normalization-by-evaluation
Created 2018-11-20
421 commits to master branch, last one 2 years ago