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

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