Search Results - RepositoryStats

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

14

259

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

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,370 commits to master branch, last one 4 months ago

7

91

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,870 commits to master branch, last one 4 days ago

7

91

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