jonprl - Programming language

jonprl is a programming language created in 2015 by Jonathan Sterling.

#1950on PLDB

9Years Old

Download source code:

git clone https://github.com/jonsterling/jonprl

An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

jonprl website
jonprl is developed on GitHub and has 107 stars
jonprl first developed in https://github.com/jonsterling/JonPRL/issues
jonprl.org was registered in 2021