Skip to content

Popular repositories Loading

  1. smackage smackage Public

    Smackage Package Manager for Standard ML

    Standard ML 122 12

  2. twelf twelf Public

    The Twelf Programming Language

    Standard ML 112 19

  3. cmlib cmlib Public

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

    Standard ML 74 14

  4. parcom parcom Public

    SML Parser Combinator Library

    Standard ML 27 9

  5. hackday hackday Public

    SML hack day planning and coordination

    16

  6. SML-JSON SML-JSON Public

    Forked from gian/SML-JSON

    A basic JSON parsing library for SML

    Standard ML 11 1

Repositories

Showing 10 of 20 repositories
  • twelf Public

    The Twelf Programming Language

    standardml/twelf’s past year of commit activity
    Standard ML 112 19 0 3 Updated Dec 18, 2024
  • cmlib Public

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

    standardml/cmlib’s past year of commit activity
    Standard ML 74 MIT 14 0 0 Updated Sep 5, 2023
  • smackage Public

    Smackage Package Manager for Standard ML

    standardml/smackage’s past year of commit activity
    Standard ML 122 12 11 0 Updated Jun 14, 2022
  • parcom Public

    SML Parser Combinator Library

    standardml/parcom’s past year of commit activity
    Standard ML 27 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
  • SML-JSON Public Forked from gian/SML-JSON

    A basic JSON parsing library for SML

    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
  • smlnanomq Public Forked from gian/smlnanomq

    Standard ML bindings for the NanoMQ library

    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