@standardml standardml Standard ML

  • Mirror of BPLtool SVN repository - a tool for manipulating binding bigraphs

    Standard ML 2 Updated Nov 22, 2011
  • libz2 bindings for MLton

    Standard ML 1 Updated Oct 22, 2011
  • Cairo in Standard ML

    Standard ML 2 Updated Oct 24, 2011
  • A basic library of algorithms and data structures (a la NJlib)

    Standard ML 42 9 MIT Updated May 15, 2017
  • Libcurl bindings for Standard ML

    Standard ML 1 Updated Nov 6, 2011
  • An extension of the Standard ML Standard Basis Library

    Standard ML 5 1 Updated Oct 5, 2011
  • gzip bindings for MLton

    Standard ML 2 Updated Oct 22, 2011
  • SML hack day planning and coordination

    17 1 Updated Oct 21, 2011
  • SML Parser Combinator Library

    Standard ML 16 5 Updated Apr 30, 2016
  • qcheck

    Forked from league/qcheck

    Library for automatic unit testing of Standard ML modules

    Standard ML 3 6 LGPL-2.1 Updated Sep 28, 2015
  • GNU Readline bindings for Standard ML

    Standard ML 3 Updated Nov 28, 2012
  • Smackage Package Manager for Standard ML

    Standard ML 75 8 BSD-2-Clause Updated Mar 6, 2016
  • Utilities for Standard ML

    Haskell 5 1 Updated Jan 15, 2011
  • A basic JSON parsing library for SML

    Standard ML 7 2 Updated Apr 6, 2015
  • A simple CGI library for SML

    Standard ML 2 1 Updated Nov 6, 2011
  • SMLDoc, detached from the SML# distribution

    Standard ML 1 4 BSD-3-Clause Updated Nov 12, 2011
  • Standard ML bindings for the NanoMQ library

    Standard ML 1 GPL-3.0 Updated Dec 5, 2012
  • A smackage package that downloads and installs sml/nj

    Shell 3 Updated Oct 1, 2013
  • A PEG generator for Standard ML

    Standard ML 4 1 Updated Nov 6, 2011
  • The Twelf Programming Language (mirror of SVN repository)

    Standard ML 43 6 Updated Aug 19, 2013