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

• sml-lib, a grab bag of libraries for MLton and other SML implementations.

• 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.

• MLRISC

• 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