Lib.rs

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

kodept-ast

Simple compiler with dependent types support in mind

by ITesserakt

2 releases

0.2.2 Jan 11, 2024
0.2.0 Jan 5, 2024

#270 in Programming languages


Used in 3 crates

Apache-2.0

140KB
4K SLoC

Kodept

Simple compiler with dependent types support in mind

Dependencies

~4MB
~82K SLoC