#Type-theory
Showing 3 of 3 repositories tagged #type-theory, ranked by stars
pikelet-lang
pikelet
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Score
100
★ 622
⑂ 27
—
Rust
gruhn
typescript-sudoku
Playing Sudoku in TypeScript while the type checker highlights mistakes.
Score
0
★ 517
⑂ 3
—
TypeScript
owo-lang
voile-rs
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
Score
0
★ 100
⑂ 6
—
Rust