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

#716 in Programming languages

36 downloads per month
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
~140K SLoC