Statistics for language Standard ML

RepositoryStats tracks 534,823 Github repositories, of these 43 are reported to use a primary language of Standard ML.

Most starred repositories for language Standard ML (view more)

GoldenCheetah
GoldenCheetah GoldenCheetah
448
1.8k
gpl-2.0
107
Performance Software for Cyclists, Runners, Triathletes and Coaches
qt linux macos cycling science windows triathlon c-plus-plus power-meter
Created 2009-06-22
10,840 commits to master branch, last one a day ago
MLton
mlton MLton
125
930
other
50
The MLton repository
sml mlton compiler standard-ml functional-programming
Created 2013-03-08
10,147 commits to master branch, last one about a month ago
CakeML
cakeml CakeML
81
925
other
46
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
22,865 commits to master branch, last one 3 days ago
AuditProject
truecrypt-verified-mirror AuditProject
275
864
unknown
141
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
urweb
urweb urweb
66
802
other
35
The Ur/Web programming language
Created 2015-12-20
2,844 commits to master branch, last one 3 months ago
HOL-Theorem-Prover
HOL HOL-Theorem-Prover
132
607
other
49
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.
lambda-calculus theorem-proving higher-order-logic
Created 2009-10-29
20,021 commits to develop branch, last one a day ago

Trending repositories for language Standard ML (view more)

Last 3 days (new repositories)
no newly created repositories trending in the last 3 days
Last 3 days (absolute gain)
no repositories trending in the last 3 days
Last 3 days (relative gain)
no repositories trending in the last 3 days
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
Misaka-0x447f
Misaka-0x447f/Dress

dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress

29 (+1)
Last week (relative gain)
Misaka-0x447f
Misaka-0x447f/Dress

dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress

29 (+4%)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,774 (+17)
gpl-2.0
HOL-Theorem-Prover
HOL-Theorem-Prover/HOL

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.

607 (+9)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

32 (+6)
MLton
MLton/mlton

The MLton repository

930 (+6)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

925 (+4)
Last month (relative gain)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

32 (+23%)
Misaka-0x447f
Misaka-0x447f/Dress

dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress

29 (+7%)
shwestrick
shwestrick/smlfmt

A custom parser/auto-formatter for Standard ML

64 (+3%)
mit
HOL-Theorem-Prover
HOL-Theorem-Prover/HOL

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.

607 (+2%)
Electron-Cash
Electron-Cash/keys-n-hashes

Public Keys and Checksum Hashes

74 (+1%)
Last 12-months (new repositories)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

32
Last 12-months (absolute gain)
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,774 (+179)
gpl-2.0
minoki
minoki/LunarML

The Standard ML compiler that produces Lua/JavaScript

342 (+156)
mit
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

304 (+104)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

925 (+98)
HOL-Theorem-Prover
HOL-Theorem-Prover/HOL

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.

607 (+62)
Last 12-months (relative gain)
minoki
minoki/LunarML

The Standard ML compiler that produces Lua/JavaScript

342 (+84%)
mit
Misaka-0x447f
Misaka-0x447f/Dress

dress 项目的 master 分支备份。没了挺可惜的。source: https://github.com/komeiji-satori/Dress

29 (+71%)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

304 (+52%)
smlnj
smlnj/smlnj

Standard ML of New Jersey

171 (+35%)
bsd-3-clause
PSPReverse
PSPReverse/amd-sp-glitch

Supplemental material to our paper: "One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization"

79 (+20%)
gpl-3.0