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

pie-lang

< >

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

#861on PLDB

6Years Old

Download source code:

git clone https://github.com/the-little-typer/pie

Homepage · Source Code

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

Tags: programming language
pie-lang is developed on GitHub and has 685 stars
Early development of pie-lang happened in https://github.com/the-little-typer
pie-lang is written in Racket, YAML, Markdown
thelittletyper.com was registered in 2017

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

Built with Scroll v154.3.0