Repository files navigation

Pikelet is a small, functional, dependently typed programming language.

Dependent types allow us to do a bunch of really interesting things, like usingrecords for modules, declaring the length of arrays at the type level, andmuch more — many of great utility for low-level and high-level code alike!

We hope to one day grow Pikelet into fully-fledged systems programming language,with support for unboxed data types, control over memory layout and allocationstrategy, linear types, and a flexible phase distinction and support for callingother languages. At the moment however we've only implemented a type checker andvery slow interpreter, so don't get your hopes up too much yet! There's still awhole lot to do before it is even remotely useful to anyone! 😅

Check out our plans inthe roadmap.

Please note that this project is released with aCode of Conduct.By participating in this project you agree to abide by its terms.