RepositoryStats indexes 534,551 repositories, of these RedPRL/sml-redprl is ranked #153,840 (71st percentile) for total stargazers, and #64,877 for total watchers. Github reports the primary language for this repository as Standard ML, for repositories using this language it is ranked #17/43.
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 (7 years ago)
Homepage URL: http://www.redprl.org/
Star History
Github stargazers over time
Watcher History
Github watchers over time, collection started in '23
Recent Commit History
0 commits on the default branch (master) since jan '22
![Inactive](/images/death.png)
No recent commits to this repository
Yearly Commits
Commits to the default branch (master) per year
Issue History
Languages
The primary language is Standard ML but there's also others...
updated: 2024-04-29 @ 02:04am, id: 49043384 / R_kgDOAuxXuA