All Git Users → pikelet-lang

1 open source projects by pikelet-lang

[ Open user page on Github ]

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

✭ 485

rust compiler type-theory

1-1 of 1 user projects