◐ Shell
clean mode source ↗

Standard ML

Skip to content

Navigation Menu

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Sign up

Appearance settings

Popular repositories Loading

  1. The Twelf Programming Language

    Standard ML 157 23

  2. Smackage Package Manager for Standard ML

    Standard ML 124 12

  3. A basic library of algorithms and data structures (a la NJlib)

    Standard ML 77 13

  4. SML Parser Combinator Library

    Standard ML 28 9

  5. SML hack day planning and coordination

    16

Repositories

Type
Select type

Language
Select language

Sort
Select order

Showing 10 of 20 repositories

  • twelf Public

    The Twelf Programming Language

    standardml/twelf’s past year of commit activity

    Standard ML

    157 23 0 10

    Updated Mar 7, 2026

  • cmlib Public

    A basic library of algorithms and data structures (a la NJlib)

    standardml/cmlib’s past year of commit activity

    Standard ML

    77

    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

    124 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

    11 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

Most used topics

Loading…