Lib.rs

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

kodept-macros

Simple compiler with dependent types support in mind

by ITesserakt

2 releases

0.1.4 Jan 11, 2024
0.1.2 Jan 5, 2024

#900 in Programming languages

32 downloads per month
Used in 2 crates

Apache-2.0

150KB
4.5K SLoC

Kodept

Simple compiler with dependent types support in mind

Dependencies

~4–13MB
~127K SLoC