GeezerVison is showing github.com — Standard ML
Popular repositories
Loading
The Twelf Programming Language
Standard ML
163
23
Smackage Package Manager for Standard ML
Standard ML
123
12
A basic library of algorithms and data structures (a la NJlib)
Standard ML
75
13
SML Parser Combinator Library
Standard ML
28
9
SML hack day planning and coordination
16
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Haskell
Shell
Standard ML
Sort
Showing 10 of 20 repositories
twelf
Public
The Twelf Programming Language
standardml/twelf's past year of commit activity
Standard ML
163
23
0
10
Updated Sep 8, 2026
cmlib
Public
A basic library of algorithms and data structures (a la NJlib)
standardml/cmlib's past year of commit activity
Standard ML
75
MIT
13
0
0
Updated Apr 1, 2025
smackage
Public
Smackage Package Manager for Standard ML
standardml/smackage's past year of commit activity
Standard ML
123
12
11
0
Updated Jun 14, 2022
parcom
Public
SML Parser Combinator Library
standardml/parcom's past year of commit activity
Standard ML
28
9
4
0
Updated Apr 30, 2016
qcheck
Public
Forked from
league/qcheck
Library for automatic unit testing of Standard ML modules
standardml/qcheck's past year of commit activity
Standard ML
2
LGPL-2.1
8
0
0
Updated Sep 28, 2015
standardml/SML-JSON's past year of commit activity
Standard ML
10
4
0
1
Updated Apr 6, 2015
smlnj-installer
Public
A smackage package that downloads and installs sml/nj
standardml/smlnj-installer's past year of commit activity
Shell
4
2
0
0
Updated Oct 1, 2013
standardml/smlnanomq's past year of commit activity
Standard ML
0
GPL-3.0
1
0
0
Updated Dec 5, 2012
readline
Public
GNU Readline bindings for Standard ML
standardml/readline's past year of commit activity
Standard ML
2
1
0
0
Updated Nov 28, 2012
bpltool
Public
Mirror of BPLtool SVN repository - a tool for manipulating binding bigraphs
standardml/bpltool's past year of commit activity
Standard ML
2
0
0
0
Updated Nov 22, 2011
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.