PLDB Measures Concepts

redprl

< >

redprl is a programming language created in 2016 by Jonathan Sterling.

Source code:

git clone https://github.com/redprl/sml-redprl

#1568on PLDB

8Years Old

The People's Refinement Logic

redprl website
redprl is developed on GitHub and has 222 stars
redprl first developed in https://github.com/RedPRL
redprl.org was registered in 2016

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