Libraries - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | Libraries |
Home Index

In theory every strictly conforming Standard ML program should run on MLton. However, often large SML projects use implementation specific features so some "porting" is required. Here is a partial list of software that is known to run on MLton.

- Concurrency: ConcurrentML - distributed with MLton

- Graphics

- GTK: mGTK.

- OpenGL

- Lex-like lexer generator: MLLex - distributed with MLton.

- Regular expressions

- The SMLNJLibrary has a regexp module.

- The internal MLton library has a regexp module which we hope to cleanup and make more accessible someday. See regexp.sig regexp.sml

- SMLNJLibrary - distributed with MLton

- CKitLibrary - distributed with MLton

- ML-NLFFI - distributed with MLton

- MLRISCLibrary - distributed with MLton

- sml-ext, a grab bag of libraries for MLton and other SML implementations (by Sean McLaughlin)

- sml-lib, a grab bag of libraries for MLton and other SML implementations (by TomMurphy)

- Swerve, an HTTP server.

- Twelf. The version in CVS should compile out of the box.

- XML: fxp

- Yacc-like parser generator: MLYacc - distributed with MLton.

## Ports in progress

Contact us for details on any of these.

- MLDoc http://people.cs.uchicago.edu/~jhr/tools/ml-doc.html

- Unicode

## More

More projects using MLton can be seen on the Users page.

## Software for SML implementations other than MLton

- PostgreSQL

- Moscow ML: http://www.dina.kvl.dk/~sestoft/mosmllib/Postgres.html

- SML/NJ NLFFI: http://smlweb.sourceforge.net/smlsql/

- Web:

- ML Kit: SMLserver (a plugin for AOLserver)

- Moscow ML: ML Server Pages (support for PHP-style CGI scripting)

- SML/NJ: smlweb

Last edited on 2008-12-13 20:42:20 by MatthewFluet.