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

redprl

< >

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

#1030on 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 222 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 · About · Resources · Acknowledgements · Part of the World Wide Scroll