Statistics for language Standard ML

RepositoryStats tracks 579,551 Github repositories, of these 50 are reported to use a primary language of Standard ML.

Most starred repositories for language Standard ML (view more)

GoldenCheetah
GoldenCheetah GoldenCheetah
447
1.8k
gpl-2.0
109
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,911 commits to master branch, last one 2 days ago
CakeML
cakeml CakeML
84
957
other
45
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
23,509 commits to master branch, last one 7 days ago
MLton
mlton MLton
127
954
other
50
The MLton repository
sml mlton compiler standard-ml functional-programming
Created 2013-03-08
10,159 commits to master branch, last one 4 days ago
AuditProject
truecrypt-verified-mirror AuditProject
274
861
unknown
140
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
65
807
other
34
The Ur/Web programming language
Created 2015-12-20
2,844 commits to master branch, last one 8 months ago
HOL-Theorem-Prover
HOL HOL-Theorem-Prover
143
626
other
48
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,209 commits to develop branch, last one 8 days 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)
MLton
MLton/mlton

The MLton repository

954 (+3)
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,831 (+2)
gpl-2.0
BohemiaInteractive
BohemiaInteractive/Arma-Reforger-Samples

Modding Samples

249 (+1)
polyml
polyml/polyml

Poly/ML

487 (+1)
lgpl-2.1
Last 3 days (relative gain)
BohemiaInteractive
BohemiaInteractive/Arma-Reforger-Samples

Modding Samples

249 (+0.4%)
MLton
MLton/mlton

The MLton repository

954 (+0.3%)
polyml
polyml/polyml

Poly/ML

487 (+0.2%)
lgpl-2.1
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,831 (+0.1%)
gpl-2.0
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
MLton
MLton/mlton

The MLton repository

954 (+3)
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,831 (+2)
gpl-2.0
BohemiaInteractive
BohemiaInteractive/Arma-Reforger-Samples

Modding Samples

249 (+1)
polyml
polyml/polyml

Poly/ML

487 (+1)
lgpl-2.1
Last week (relative gain)
BohemiaInteractive
BohemiaInteractive/Arma-Reforger-Samples

Modding Samples

249 (+0.4%)
MLton
MLton/mlton

The MLton repository

954 (+0.3%)
polyml
polyml/polyml

Poly/ML

487 (+0.2%)
lgpl-2.1
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,831 (+0.1%)
gpl-2.0
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,831 (+16)
gpl-2.0
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

49 (+11)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

957 (+9)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

340 (+8)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

70 (+5)
Last month (relative gain)
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

49 (+29%)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

70 (+8%)
lrdrdn
lrdrdn/my-opkg-repo

No description

38 (+6%)
smlnj
smlnj/legacy

This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

34 (+3%)
bsd-3-clause
Misaka-0x447f
Misaka-0x447f/Dress

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

35 (+3%)
Last 12-months (new repositories)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

70
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

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

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,831 (+166)
gpl-2.0
minoki
minoki/LunarML

The Standard ML compiler that produces Lua/JavaScript

354 (+145)
mit
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

340 (+120)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

957 (+99)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

70 (+69)
Last 12-months (relative gain)
smlnj
smlnj/legacy

This project is the old version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

34 (+79%)
bsd-3-clause
minoki
minoki/LunarML

The Standard ML compiler that produces Lua/JavaScript

354 (+69%)
mit
4IceG
4IceG/Modem-extras

Packages added to my images | MY REPOSITORY | Updated: 22.05.2024

32 (+60%)
gpl-3.0
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

340 (+55%)
Misaka-0x447f
Misaka-0x447f/Dress

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

35 (+40%)