5 releases
| 0.2.3 | Aug 10, 2024 |
|---|---|
| 0.2.2 | Jul 13, 2024 |
| 0.2.1 | May 24, 2024 |
| 0.2.0 | Jan 11, 2024 |
| 0.1.2 | Jan 5, 2024 |
#276 in Programming languages
30 downloads per month
415KB
12K
SLoC
Kodept
Simple compiler with dependent types support in mind
Dependencies
~8–20MB
~258K SLoC