PLDB Top 1K Features Creators Events Podcasts Books Extensions Interviews Blog Explorer CSV

pikelet

< >

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

#1111on PLDB

7Years Old

Download source code:

git clone https://github.com/pikelet-lang/pikelet

Homepage · Source Code

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

Tags: programming language
pikelet is developed on GitHub and has 610 stars
Early development of pikelet happened in https://github.com/pikelet-lang
pikelet is written in Markdown, Rust, TOML, JSON, YAML, JavaScript

PLDB - Build the next great programming language · Add · Issues · About · Search · Keywords · Livestreams · Labs · Resources · Acknowledgements

Built with Scroll v164.7.0