RedPRL / sml-redprl

The People's Refinement Logic

RedPRL
RedPRL
Date Created 2016-01-05 (9 years ago)
Commits 1,013 (last one 5 years ago)
Stargazers 229 (0 this week)
Watchers 31 (0 this week)
Forks 18
License mit
This repository has been archived on Github
Ranking

RepositoryStats indexes 628,836 repositories, of these RedPRL/sml-redprl is ranked #170,119 (73rd percentile) for total stargazers, and #69,661 for total watchers. Github reports the primary language for this repository as Standard ML, for repositories using this language it is ranked #18/50.

Other Information

RedPRL/sml-redprl has Github issues enabled, there are 7 open issues and 302 closed issues.

There have been 1 release, the latest one was published on 2017-01-04 (8 years ago)

Homepage URL: http://www.redprl.org/

Star History

Github stargazers over time

250250200200150150100100505000201720172018201820192019202020202021202120222022202320232024202420252025

Watcher History

Github watchers over time, collection started in '23

3333333332323232323231313131Mar '23Mar '23May '23May '23Jul '23Jul '23Aug '23Aug '23Oct '23Oct '23Dec '23Dec '23Feb '24Feb '24Apr '24Apr '24Jun '24Jun '24Aug '24Aug '24Oct '24Oct '24Dec '24Dec '24Feb '25Feb '25

Recent Commit History

0 commits on the default branch (master) since jan '22

Inactive

No recent commits to this repository

Yearly Commits

Commits to the default branch (master) per year

600600500500400400300300200200100100002016201620172017201820182019201920202020202120212022202220242024

Issue History

Total Issues
Open Issues
Closed Issues
350350300300250250200200150150100100505000201720172018201820192019202020202021202120222022202320232024202420252025

Languages

The primary language is Standard ML but there's also others...

Standard MLStandard MLLexLexEmacs LispEmacs LispVim ScriptVim ScriptShellShell

updated: 2025-03-07 @ 08:12am, id: 49043384 / R_kgDOAuxXuA