| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| cicada-lang/cicada-solo | 125 | 0 | 0 | over 2 years ago | 0 | 4 | gpl-3.0 | TypeScript | ||
| Cicada Language (solo version) | ||||||||||
| ilya-klyuchnikov/ttlite | 108 | 0 | 0 | about 4 years ago | 0 | 12 | Scala | |||
| A SuperCompiler for Martin-Löf's Type Theory | ||||||||||
| cicada-lang/cicada | 80 |
|
1 | 4 | over 2 years ago | 38 | October 09, 2021 | 13 | gpl-3.0 | TypeScript |
| Cicada Language | ||||||||||
| owo-lang/minitt-rs | 68 |
|
4 | 5 | over 5 years ago | 7 | September 21, 2020 | 7 | apache-2.0 | Rust |
| Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust | ||||||||||
| robrix/Manifold | 18 | 0 | 0 | over 7 years ago | 0 | 5 | other | Haskell | ||
| Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in. | ||||||||||
