Skip to content

@standardml Standard ML

Change the repository type filter

All

    Repositories list

    20 repositories

    • twelf

      Public
      The Twelf Programming Language
      Standard ML
      •
      Other
      •18•109•0•6•Updated Oct 19, 2024Oct 19, 2024

    • cmlib

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

    • smackage

      Public
      Smackage Package Manager for Standard ML
      Standard ML
      •
      Other
      •12•122•11•0•Updated Jun 14, 2022Jun 14, 2022

    • parcom

      Public
      SML Parser Combinator Library
      Standard ML
      •9•27•4•0•Updated 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
      •8•2•0•0•Updated Sep 28, 2015Sep 28, 2015

    • SML-JSON

      Public
      A basic JSON parsing library for SML
      Standard ML
      •4•11•0•1•Updated Apr 6, 2015Apr 6, 2015

    • smlnj-installer

      Public
      A smackage package that downloads and installs sml/nj
      Shell
      •2•4•0•0•Updated Oct 1, 2013Oct 1, 2013

    • smlnanomq

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

    • readline

      Public
      GNU Readline bindings for Standard ML
      Standard ML
      •1•2•0•0•Updated Nov 28, 2012Nov 28, 2012

    • bpltool

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

    • SMLDoc

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

    • SMLPEG

      Public
      A PEG generator for Standard ML
      Standard ML
      •1•6•0•0•Updated Nov 6, 2011Nov 6, 2011

    • curlsml

      Public
      Libcurl bindings for Standard ML
      Standard ML
      •0•1•1•0•Updated Nov 6, 2011Nov 6, 2011

    • smlcgi

      Public
      A simple CGI library for SML
      Standard ML
      •1•3•0•0•Updated Nov 6, 2011Nov 6, 2011

    • cairo-sml

      Public
      Cairo in Standard ML
      Standard ML
      •0•4•2•0•Updated Oct 24, 2011Oct 24, 2011

    • bzip2-mlton

      Public
      libz2 bindings for MLton
      Standard ML
      •0•1•0•0•Updated Oct 22, 2011Oct 22, 2011

    • gzip-mlton

      Public
      gzip bindings for MLton
      Standard ML
      •0•2•0•0•Updated Oct 22, 2011Oct 22, 2011

    • hackday

      Public
      SML hack day planning and coordination
      0•16•0•0•Updated Oct 21, 2011Oct 21, 2011

    • extended-basis

      Public
      An extension of the Standard ML Standard Basis Library
      Standard ML
      •2•8•0•0•Updated Oct 5, 2011Oct 5, 2011

    • sml-ext

      Public
      Utilities for Standard ML
      Haskell
      •3•9•0•0•Updated Jan 15, 2011Jan 15, 2011