Statistics for language Standard ML

RepositoryStats tracks 616,225 Github repositories, of these 49 are reported to use a primary language of Standard ML.

Most starred repositories for language Standard ML (view more)

449
1.9k
gpl-2.0
107
Performance Software for Cyclists, Runners, Triathletes and Coaches
Created 2009-06-22
10,970 commits to master branch, last one a day ago
85
997
other
45
CakeML: A Verified Implementation of ML
Created 2012-10-09
23,821 commits to master branch, last one 10 days ago
128
992
other
51
The MLton repository
Created 2013-03-08
10,196 commits to master branch, last one about a month ago
Verified Windows, OSX, Linux TrueCrypt v. 7.1a binaries and source files
Created 2014-06-10
1 commits to master branch, last one 10 years ago
67
807
other
35
The Ur/Web programming language
Created 2015-12-20
2,844 commits to master branch, last one 11 months ago
Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.
Created 2009-10-29
20,436 commits to develop branch, last one 6 days ago

Trending repositories for language Standard ML (view more)