Statistics for language Standard ML

RepositoryStats tracks 584,773 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
110
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,914 commits to master branch, last one 18 hours ago
CakeML
cakeml CakeML
84
964
other
45
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
23,517 commits to master branch, last one 8 days ago
MLton
mlton MLton
127
958
other
50
The MLton repository
sml mlton compiler standard-ml functional-programming
Created 2013-03-08
10,159 commits to master branch, last one 19 days ago
AuditProject
truecrypt-verified-mirror AuditProject
274
862
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
808
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
142
630
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,253 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)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79 (+1)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

347 (+1)
Last 3 days (relative gain)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79 (+1%)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

347 (+0.3%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79 (+4)
AthenaFoundation
AthenaFoundation/athena

Athena is a modern, practical language for proof engineering & natural deduction.

67 (+1)
apache-2.0
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

347 (+1)
polyml
polyml/polyml

Poly/ML

489 (+1)
lgpl-2.1
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,839 (+1)
gpl-2.0
Last week (relative gain)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79 (+5%)
AthenaFoundation
AthenaFoundation/athena

Athena is a modern, practical language for proof engineering & natural deduction.

67 (+2%)
apache-2.0
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

347 (+0.3%)
polyml
polyml/polyml

Poly/ML

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

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,839 (+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,839 (+20)
gpl-2.0
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79 (+13)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

964 (+13)
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

56 (+9)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

347 (+8)
Last month (relative gain)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79 (+20%)
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

56 (+19%)
babylonchain
babylonchain/networks

No description

25 (+9%)
Misaka-0x447f
Misaka-0x447f/Dress

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

38 (+9%)
lrdrdn
lrdrdn/my-opkg-repo

No description

39 (+8%)
Last 12-months (new repositories)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

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

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,839 (+168)
gpl-2.0
minoki
minoki/LunarML

The Standard ML compiler that produces Lua/JavaScript

356 (+145)
mit
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

347 (+125)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

964 (+106)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

79 (+78)
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

356 (+69%)
mit
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

347 (+56%)
4IceG
4IceG/Modem-extras

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

32 (+52%)
gpl-3.0
Misaka-0x447f
Misaka-0x447f/Dress

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

38 (+52%)