5 results found Sort:

pikelet-lang
pikelet pikelet-lang
26
616
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
yeslogic
fathom yeslogic
12
260
apache-2.0
15
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
dsl rust parser compiler language binary-data declarative type-system type-checker binary-format dependent-types statically-typed programming-language dependent-record-types data-description-language
Created 2015-01-09
2,650 commits to main branch, last one about a year ago
cicada-lang
cicada-solo cicada-lang
5
128
gpl-3.0
3
Cicada Language (solo version)
repl cicada prover language type-system type-theory theorem-prover dependent-types programming-language dependent-type-theory dependent-record-types interactive-theorem-proving
Created 2021-03-28
6,372 commits to master branch, last one about a month ago
brendanzab
rust-nbe-for-mltt brendanzab
6
97
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
cicada-lang
cicada-plct cicada-lang
7
92
gpl-3.0
3
Cicada Language (PLCT little team)
repl cicada prover language type-system type-theory theorem-prover dependent-types programming-language dependent-type-theory dependent-record-types interactive-theorem-proving
Created 2022-08-07
1,874 commits to master branch, last one about a month ago