PLDB Measures Concepts

pie-lang

< >

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

Source code:

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

#1190on PLDB

6Years Old

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

pie-lang website
pie-lang is developed on GitHub and has 615 stars
pie-lang first developed in https://github.com/the-little-typer
thelittletyper.com was registered in 2017

PLDB - Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Queries · Stats · Sponsor · Day 605 · feedback@pldb.io · Logout