<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="generator" content="AsciiDoc 8.6.10">
<title>Libraries</title>
<link rel="stylesheet" href="./asciidoc.css" type="text/css">
<link rel="stylesheet" href="./pygments.css" type="text/css">


<script type="text/javascript" src="./asciidoc.js"></script>
<script type="text/javascript">
/*<![CDATA[*/
asciidoc.install();
/*]]>*/
</script>
<link rel="stylesheet" href="./mlton.css" type="text/css">
</head>
<body class="article">
<div id="banner">
<div id="banner-home">
<a href="./Home">MLton 20201002</a>
</div>
</div>
<div id="header">
<h1>Libraries</h1>
</div>
<div id="content">
<div id="preamble">
<div class="sectionbody">
<div class="paragraph"><p>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.</p></div>
<div class="ulist"><ul>
<li>
<p>
Utility libraries:
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="SMLNJLibrary">SMLNJLibrary</a> - distributed with MLton
</p>
</li>
<li>
<p>
<a href="MLtonLibraryProject">MLtonLibraryProject</a> - various libraries located on the MLton subversion repository
</p>
</li>
<li>
<p>
<a href="https://github.com/MLton/mlton/tree/master/lib/mlton"><span class="monospaced">mlton</span></a> - the internal MLton utility library, which we hope to cleanup and make more accessible someday
</p>
</li>
<li>
<p>
<a href="http://github.com/seanmcl/sml-ext">sml-ext</a>, a grab bag of libraries for MLton and other SML implementations (by Sean McLaughlin)
</p>
</li>
<li>
<p>
<a href="http://tom7misc.cvs.sourceforge.net/tom7misc/sml-lib/">sml-lib</a>, a grab bag of libraries for MLton and other SML implementations (by <a href="TomMurphy">TomMurphy</a>)
</p>
</li>
</ul></div>
</li>
<li>
<p>
Scanner generators:
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="MLLPTLibrary">MLLPTLibrary</a> - distributed with MLton
</p>
</li>
<li>
<p>
<a href="MLLex">MLLex</a> - distributed with MLton
</p>
</li>
<li>
<p>
<a href="MLULex">MLULex</a> -
</p>
</li>
</ul></div>
</li>
<li>
<p>
Parser generators:
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="MLAntlr">MLAntlr</a> -
</p>
</li>
<li>
<p>
<a href="MLLPTLibrary">MLLPTLibrary</a> - distributed with MLton
</p>
</li>
<li>
<p>
<a href="MLYacc">MLYacc</a> - distributed with MLton
</p>
</li>
</ul></div>
</li>
<li>
<p>
Concurrency: <a href="ConcurrentML">ConcurrentML</a> - distributed with MLton
</p>
</li>
<li>
<p>
Graphics
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="SML3d">SML3d</a>
</p>
</li>
<li>
<p>
<a href="mGTK">mGTK</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
Misc. libraries:
</p>
<div class="ulist"><ul>
<li>
<p>
<a href="CKitLibrary">CKitLibrary</a> - distributed with MLton
</p>
</li>
<li>
<p>
<a href="MLRISCLibrary">MLRISCLibrary</a> - distributed with MLton
</p>
</li>
<li>
<p>
<a href="MLNLFFI">ML-NLFFI</a> - distributed with MLton
</p>
</li>
<li>
<p>
<a href="Swerve">Swerve</a>, an HTTP server
</p>
</li>
<li>
<p>
<a href="fxp">fxp</a>, an XML parser
</p>
</li>
</ul></div>
</li>
</ul></div>
</div>
</div>
<div class="sect1">
<h2 id="_ports_in_progress">Ports in progress</h2>
<div class="sectionbody">
<div class="paragraph"><p><a href="Contact">Contact</a> us for details on any of these.</p></div>
<div class="ulist"><ul>
<li>
<p>
<a href="MLDoc">MLDoc</a> <a href="http://people.cs.uchicago.edu/%7Ejhr/tools/ml-doc.html">http://people.cs.uchicago.edu/%7Ejhr/tools/ml-doc.html</a>
</p>
</li>
<li>
<p>
<a href="Unicode">Unicode</a>
</p>
</li>
</ul></div>
</div>
</div>
<div class="sect1">
<h2 id="_more">More</h2>
<div class="sectionbody">
<div class="paragraph"><p>More projects using MLton can be seen on the <a href="Users">Users</a> page.</p></div>
</div>
</div>
<div class="sect1">
<h2 id="_software_for_sml_implementations_other_than_mlton">Software for SML implementations other than MLton</h2>
<div class="sectionbody">
<div class="ulist"><ul>
<li>
<p>
PostgreSQL
</p>
<div class="ulist"><ul>
<li>
<p>
Moscow ML: <a href="http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html">http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html</a>
</p>
</li>
<li>
<p>
SML/NJ NLFFI: <a href="http://smlweb.sourceforge.net/smlsql/">http://smlweb.sourceforge.net/smlsql/</a>
</p>
</li>
</ul></div>
</li>
<li>
<p>
Web:
</p>
<div class="ulist"><ul>
<li>
<p>
ML Kit: <a href="http://www.smlserver.org">SMLserver</a>  (a plugin for AOLserver)
</p>
</li>
<li>
<p>
Moscow ML: <a href="http://ellemose.dina.kvl.dk/%7Esestoft/msp/index.msp">ML Server Pages</a> (support for PHP-style CGI scripting)
</p>
</li>
<li>
<p>
SML/NJ: <a href="http://smlweb.sourceforge.net/">smlweb</a>
</p>
</li>
</ul></div>
</li>
</ul></div>
</div>
</div>
</div>
<div id="footnotes"><hr></div>
<div id="footer">
<div id="footer-text">
</div>
<div id="footer-badges">
</div>
</div>
</body>
</html>
