Top 1,000 Features Creators Events Podcasts Extensions Blog Explorer CSV Download

pikelet

< >

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

#1121on PLDB 7Years Old
Download source code:
git clone https://github.com/pikelet-lang/pikelet
HomepageSource Code

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


View source

- Build the next great programming language About Resources Acknowledgements Part of the World Wide Scroll