Lib.rs

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

kodept-parse

by ITesserakt

7 releases

0.3.0 Aug 10, 2024
0.2.0 Jul 13, 2024
0.1.7 May 24, 2024
0.1.6 Apr 9, 2024
0.1.4 Jan 11, 2024

#745 in Programming languages


Used in kodept

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

150KB
4K SLoC

Simple compiler with dependent types support in mind

Dependencies

~2–12MB
~142K SLoC