pikelet is a programming language created in 2017 by Brendan Zabarauskas.

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

• pikelet website
• pikelet is developed on GitHub and has 566 stars
• pikelet first developed in https://github.com/pikelet-lang