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

redprl

< >

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

#1088on PLDB

8Years Old

Download source code:

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

Homepage · Source Code

The People's Refinement Logic

Tags: programming language
redprl is developed on GitHub and has 227 stars
Early development of redprl happened in https://github.com/RedPRL
redprl is written in Standard ML, Bourne shell, reStructuredText, Markdown, Vim script, Python, Tex, Lisp, Lex, CSS, YAML, Make, JSON
redprl.org was registered in 2016

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

Built with Scroll v154.2.0