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


< >

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

#1121on PLDB 7Years Old
Download source code:
git clone
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