4 <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
5 <meta name="generator" content="AsciiDoc 8.6.9">
6 <title>Libraries</title>
7 <link rel="stylesheet" href="./asciidoc.css" type="text/css">
8 <link rel="stylesheet" href="./pygments.css" type="text/css">
11 <script type="text/javascript" src="./asciidoc.js"></script>
12 <script type="text/javascript">
17 <link rel="stylesheet" href="./mlton.css" type="text/css">
19 <body class="article">
21 <div id="banner-home">
22 <a href="./Home">MLton 20180207</a>
30 <div class="sectionbody">
31 <div class="paragraph"><p>In theory every strictly conforming Standard ML program should run on
32 MLton. However, often large SML projects use implementation specific
33 features so some "porting" is required. Here is a partial list of
34 software that is known to run on MLton.</p></div>
35 <div class="ulist"><ul>
40 <div class="ulist"><ul>
43 <a href="SMLNJLibrary">SMLNJLibrary</a> - distributed with MLton
48 <a href="MLtonLibraryProject">MLtonLibraryProject</a> - various libraries located on the MLton subversion repository
53 <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
58 <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)
63 <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>)
72 <div class="ulist"><ul>
75 <a href="MLLPTLibrary">MLLPTLibrary</a> - distributed with MLton
80 <a href="MLLex">MLLex</a> - distributed with MLton
85 <a href="MLULex">MLULex</a> -
94 <div class="ulist"><ul>
97 <a href="MLAntlr">MLAntlr</a> -
102 <a href="MLLPTLibrary">MLLPTLibrary</a> - distributed with MLton
107 <a href="MLYacc">MLYacc</a> - distributed with MLton
114 Concurrency: <a href="ConcurrentML">ConcurrentML</a> - distributed with MLton
121 <div class="ulist"><ul>
124 <a href="SML3d">SML3d</a>
129 <a href="mGTK">mGTK</a>
138 <div class="ulist"><ul>
141 <a href="CKitLibrary">CKitLibrary</a> - distributed with MLton
146 <a href="MLRISCLibrary">MLRISCLibrary</a> - distributed with MLton
151 <a href="MLNLFFI">ML-NLFFI</a> - distributed with MLton
156 <a href="Swerve">Swerve</a>, an HTTP server
161 <a href="fxp">fxp</a>, an XML parser
170 <h2 id="_ports_in_progress">Ports in progress</h2>
171 <div class="sectionbody">
172 <div class="paragraph"><p><a href="Contact">Contact</a> us for details on any of these.</p></div>
173 <div class="ulist"><ul>
176 <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>
181 <a href="Unicode">Unicode</a>
188 <h2 id="_more">More</h2>
189 <div class="sectionbody">
190 <div class="paragraph"><p>More projects using MLton can be seen on the <a href="Users">Users</a> page.</p></div>
194 <h2 id="_software_for_sml_implementations_other_than_mlton">Software for SML implementations other than MLton</h2>
195 <div class="sectionbody">
196 <div class="ulist"><ul>
201 <div class="ulist"><ul>
204 Moscow ML: <a href="http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html">http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html</a>
209 SML/NJ NLFFI: <a href="http://smlweb.sourceforge.net/smlsql/">http://smlweb.sourceforge.net/smlsql/</a>
218 <div class="ulist"><ul>
221 ML Kit: <a href="http://www.smlserver.org">SMLserver</a> (a plugin for AOLserver)
226 Moscow ML: <a href="http://ellemose.dina.kvl.dk/%7Esestoft/msp/index.msp">ML Server Pages</a> (support for PHP-style CGI scripting)
231 SML/NJ: <a href="http://smlweb.sourceforge.net/">smlweb</a>
240 <div id="footnotes"><hr></div>
242 <div id="footer-text">
244 <div id="footer-badges">