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


< >

pie-lang is an open source programming language created in 2018 by David Christiansen.

#737on PLDB 6Years Old
Download source code:
git clone

Pie: A Little Language with Dependent Types. Pie is a Racket language, requiring Racket version 6.5 or newer.

View source

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