Statistics for language Standard ML

RepositoryStats tracks 596,212 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
446
1.8k
gpl-2.0
108
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,925 commits to master branch, last one a day ago
CakeML
cakeml CakeML
85
978
other
44
CakeML: A Verified Implementation of ML
hol sml compiler theorem-proving formal-semantics formal-verification programming-language
Created 2012-10-09
23,806 commits to master branch, last one a day ago
MLton
mlton MLton
127
968
other
50
The MLton repository
sml mlton compiler standard-ml functional-programming
Created 2013-03-08
10,163 commits to master branch, last one a day ago
AuditProject
truecrypt-verified-mirror AuditProject
275
863
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
67
806
other
34
The Ur/Web programming language
Created 2015-12-20
2,844 commits to master branch, last one 9 months ago
HOL-Theorem-Prover
HOL HOL-Theorem-Prover
143
636
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,392 commits to develop branch, last one 2 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)
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.

636 (+1)
Last 3 days (relative gain)
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.

636 (+0.2%)
Last week (new repositories)
no newly created repositories trending in the last week
Last week (absolute gain)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

978 (+4)
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.

636 (+3)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

354 (+2)
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

63 (+1)
MLton
MLton/mlton

The MLton repository

968 (+1)
Last week (relative gain)
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

63 (+2%)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

354 (+0.6%)
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.

636 (+0.5%)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

978 (+0.4%)
MLton
MLton/mlton

The MLton repository

968 (+0.1%)
Last month (new repositories)
no newly created repositories trending in the last month
Last month (absolute gain)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

978 (+13)
MLton
MLton/mlton

The MLton repository

968 (+8)
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

63 (+6)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

354 (+6)
GoldenCheetah
GoldenCheetah/GoldenCheetah

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,846 (+6)
gpl-2.0
Last month (relative gain)
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

63 (+11%)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

86 (+6%)
lrdrdn
lrdrdn/my-opkg-repo

No description

42 (+5%)
smlnj
smlnj/smlnj

Standard ML of New Jersey

190 (+3%)
bsd-3-clause
standardml
standardml/twelf

The Twelf Programming Language

112 (+2%)
Last 12-months (new repositories)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

86
luiscoco
luiscoco/macOS_Sonoma_VMWare

How to install Mac Sonoma in VMWare virtual machine

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

Performance Software for Cyclists, Runners, Triathletes and Coaches

1,846 (+167)
gpl-2.0
minoki
minoki/LunarML

The Standard ML compiler that produces Lua/JavaScript

357 (+137)
mit
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

354 (+128)
CakeML
CakeML/cakeml

CakeML: A Verified Implementation of ML

978 (+113)
pesa1234
pesa1234/MT6000_cust_build

Repo for GL.iNet MT6000 custom build

86 (+85)
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

357 (+62%)
mit
Misaka-0x447f
Misaka-0x447f/Dress

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

40 (+60%)
MPLLang
MPLLang/mpl

The MaPLe compiler for efficient and scalable parallel functional programming

354 (+57%)
4IceG
4IceG/Modem-extras

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

32 (+52%)
gpl-3.0