Skip to content
Change the repository type filter

All

    Repositories list

    • twelf

      Public
      The Twelf Programming Language
      Standard ML
      Other
      1911101Updated Dec 5, 2024Dec 5, 2024
    • cmlib

      Public
      A basic library of algorithms and data structures (a la NJlib)
      Standard ML
      MIT License
      147400Updated Sep 5, 2023Sep 5, 2023
    • smackage

      Public
      Smackage Package Manager for Standard ML
      Standard ML
      Other
      12122110Updated Jun 14, 2022Jun 14, 2022
    • parcom

      Public
      SML Parser Combinator Library
      Standard ML
      92740Updated Apr 30, 2016Apr 30, 2016
    • qcheck

      Public
      Library for automatic unit testing of Standard ML modules
      Standard ML
      GNU Lesser General Public License v2.1
      8200Updated Sep 28, 2015Sep 28, 2015
    • SML-JSON

      Public
      A basic JSON parsing library for SML
      Standard ML
      41101Updated Apr 6, 2015Apr 6, 2015
    • A smackage package that downloads and installs sml/nj
      Shell
      2400Updated Oct 1, 2013Oct 1, 2013
    • smlnanomq

      Public
      Standard ML bindings for the NanoMQ library
      Standard ML
      GNU General Public License v3.0
      1000Updated Dec 5, 2012Dec 5, 2012
    • readline

      Public
      GNU Readline bindings for Standard ML
      Standard ML
      1200Updated Nov 28, 2012Nov 28, 2012
    • bpltool

      Public
      Mirror of BPLtool SVN repository - a tool for manipulating binding bigraphs
      Standard ML
      0200Updated Nov 22, 2011Nov 22, 2011
    • SMLDoc

      Public
      SMLDoc, detached from the SML# distribution
      Standard ML
      BSD 3-Clause "New" or "Revised" License
      5100Updated Nov 11, 2011Nov 11, 2011
    • SMLPEG

      Public
      A PEG generator for Standard ML
      Standard ML
      1600Updated Nov 6, 2011Nov 6, 2011
    • curlsml

      Public
      Libcurl bindings for Standard ML
      Standard ML
      0110Updated Nov 6, 2011Nov 6, 2011
    • smlcgi

      Public
      A simple CGI library for SML
      Standard ML
      1300Updated Nov 6, 2011Nov 6, 2011
    • cairo-sml

      Public
      Cairo in Standard ML
      Standard ML
      0420Updated Oct 24, 2011Oct 24, 2011
    • libz2 bindings for MLton
      Standard ML
      0100Updated Oct 22, 2011Oct 22, 2011
    • gzip bindings for MLton
      Standard ML
      0200Updated Oct 22, 2011Oct 22, 2011
    • hackday

      Public
      SML hack day planning and coordination
      01600Updated Oct 21, 2011Oct 21, 2011
    • An extension of the Standard ML Standard Basis Library
      Standard ML
      2800Updated Oct 5, 2011Oct 5, 2011
    • sml-ext

      Public
      Utilities for Standard ML
      Haskell
      3900Updated Jan 15, 2011Jan 15, 2011