Lib.rs

› Programming languages
#compiler #programming-language #dependent #type #mind #own

bin+lib kodept

Simple compiler with dependent types support in mind

by ITesserakt

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

#286 in Programming languages

Download history 112/week @ 2024-08-10 4/week @ 2024-08-17 14/week @ 2024-09-14 11/week @ 2024-09-21 5/week @ 2024-09-28 1/week @ 2024-10-12

334 downloads per month

Apache-2.0 and maybe GPL-3.0-or-later

415KB
12K SLoC

Kodept

Simple compiler with dependent types support in mind

Dependencies

~8–20MB
~258K SLoC