Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / Libraries
CommitLineData
7f918cf1
CE
1<!DOCTYPE html>\r
2<html lang="en">\r
3<head>\r
4<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">\r
5<meta name="generator" content="AsciiDoc 8.6.9">\r
6<title>Libraries</title>\r
7<link rel="stylesheet" href="./asciidoc.css" type="text/css">\r
8<link rel="stylesheet" href="./pygments.css" type="text/css">\r
9\r
10\r
11<script type="text/javascript" src="./asciidoc.js"></script>\r
12<script type="text/javascript">\r
13/*<![CDATA[*/\r
14asciidoc.install();\r
15/*]]>*/\r
16</script>\r
17<link rel="stylesheet" href="./mlton.css" type="text/css">\r
18</head>\r
19<body class="article">\r
20<div id="banner">\r
21<div id="banner-home">\r
22<a href="./Home">MLton 20180207</a>\r
23</div>\r
24</div>\r
25<div id="header">\r
26<h1>Libraries</h1>\r
27</div>\r
28<div id="content">\r
29<div id="preamble">\r
30<div class="sectionbody">\r
31<div class="paragraph"><p>In theory every strictly conforming Standard ML program should run on\r
32MLton. However, often large SML projects use implementation specific\r
33features so some "porting" is required. Here is a partial list of\r
34software that is known to run on MLton.</p></div>\r
35<div class="ulist"><ul>\r
36<li>\r
37<p>\r
38Utility libraries:\r
39</p>\r
40<div class="ulist"><ul>\r
41<li>\r
42<p>\r
43<a href="SMLNJLibrary">SMLNJLibrary</a> - distributed with MLton\r
44</p>\r
45</li>\r
46<li>\r
47<p>\r
48<a href="MLtonLibraryProject">MLtonLibraryProject</a> - various libraries located on the MLton subversion repository\r
49</p>\r
50</li>\r
51<li>\r
52<p>\r
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\r
54</p>\r
55</li>\r
56<li>\r
57<p>\r
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)\r
59</p>\r
60</li>\r
61<li>\r
62<p>\r
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>)\r
64</p>\r
65</li>\r
66</ul></div>\r
67</li>\r
68<li>\r
69<p>\r
70Scanner generators:\r
71</p>\r
72<div class="ulist"><ul>\r
73<li>\r
74<p>\r
75<a href="MLLPTLibrary">MLLPTLibrary</a> - distributed with MLton\r
76</p>\r
77</li>\r
78<li>\r
79<p>\r
80<a href="MLLex">MLLex</a> - distributed with MLton\r
81</p>\r
82</li>\r
83<li>\r
84<p>\r
85<a href="MLULex">MLULex</a> -\r
86</p>\r
87</li>\r
88</ul></div>\r
89</li>\r
90<li>\r
91<p>\r
92Parser generators:\r
93</p>\r
94<div class="ulist"><ul>\r
95<li>\r
96<p>\r
97<a href="MLAntlr">MLAntlr</a> -\r
98</p>\r
99</li>\r
100<li>\r
101<p>\r
102<a href="MLLPTLibrary">MLLPTLibrary</a> - distributed with MLton\r
103</p>\r
104</li>\r
105<li>\r
106<p>\r
107<a href="MLYacc">MLYacc</a> - distributed with MLton\r
108</p>\r
109</li>\r
110</ul></div>\r
111</li>\r
112<li>\r
113<p>\r
114Concurrency: <a href="ConcurrentML">ConcurrentML</a> - distributed with MLton\r
115</p>\r
116</li>\r
117<li>\r
118<p>\r
119Graphics\r
120</p>\r
121<div class="ulist"><ul>\r
122<li>\r
123<p>\r
124<a href="SML3d">SML3d</a>\r
125</p>\r
126</li>\r
127<li>\r
128<p>\r
129<a href="mGTK">mGTK</a>\r
130</p>\r
131</li>\r
132</ul></div>\r
133</li>\r
134<li>\r
135<p>\r
136Misc. libraries:\r
137</p>\r
138<div class="ulist"><ul>\r
139<li>\r
140<p>\r
141<a href="CKitLibrary">CKitLibrary</a> - distributed with MLton\r
142</p>\r
143</li>\r
144<li>\r
145<p>\r
146<a href="MLRISCLibrary">MLRISCLibrary</a> - distributed with MLton\r
147</p>\r
148</li>\r
149<li>\r
150<p>\r
151<a href="MLNLFFI">ML-NLFFI</a> - distributed with MLton\r
152</p>\r
153</li>\r
154<li>\r
155<p>\r
156<a href="Swerve">Swerve</a>, an HTTP server\r
157</p>\r
158</li>\r
159<li>\r
160<p>\r
161<a href="fxp">fxp</a>, an XML parser\r
162</p>\r
163</li>\r
164</ul></div>\r
165</li>\r
166</ul></div>\r
167</div>\r
168</div>\r
169<div class="sect1">\r
170<h2 id="_ports_in_progress">Ports in progress</h2>\r
171<div class="sectionbody">\r
172<div class="paragraph"><p><a href="Contact">Contact</a> us for details on any of these.</p></div>\r
173<div class="ulist"><ul>\r
174<li>\r
175<p>\r
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>\r
177</p>\r
178</li>\r
179<li>\r
180<p>\r
181<a href="Unicode">Unicode</a>\r
182</p>\r
183</li>\r
184</ul></div>\r
185</div>\r
186</div>\r
187<div class="sect1">\r
188<h2 id="_more">More</h2>\r
189<div class="sectionbody">\r
190<div class="paragraph"><p>More projects using MLton can be seen on the <a href="Users">Users</a> page.</p></div>\r
191</div>\r
192</div>\r
193<div class="sect1">\r
194<h2 id="_software_for_sml_implementations_other_than_mlton">Software for SML implementations other than MLton</h2>\r
195<div class="sectionbody">\r
196<div class="ulist"><ul>\r
197<li>\r
198<p>\r
199PostgreSQL\r
200</p>\r
201<div class="ulist"><ul>\r
202<li>\r
203<p>\r
204Moscow ML: <a href="http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html">http://www.dina.kvl.dk/%7Esestoft/mosmllib/Postgres.html</a>\r
205</p>\r
206</li>\r
207<li>\r
208<p>\r
209SML/NJ NLFFI: <a href="http://smlweb.sourceforge.net/smlsql/">http://smlweb.sourceforge.net/smlsql/</a>\r
210</p>\r
211</li>\r
212</ul></div>\r
213</li>\r
214<li>\r
215<p>\r
216Web:\r
217</p>\r
218<div class="ulist"><ul>\r
219<li>\r
220<p>\r
221ML Kit: <a href="http://www.smlserver.org">SMLserver</a> (a plugin for AOLserver)\r
222</p>\r
223</li>\r
224<li>\r
225<p>\r
226Moscow ML: <a href="http://ellemose.dina.kvl.dk/%7Esestoft/msp/index.msp">ML Server Pages</a> (support for PHP-style CGI scripting)\r
227</p>\r
228</li>\r
229<li>\r
230<p>\r
231SML/NJ: <a href="http://smlweb.sourceforge.net/">smlweb</a>\r
232</p>\r
233</li>\r
234</ul></div>\r
235</li>\r
236</ul></div>\r
237</div>\r
238</div>\r
239</div>\r
240<div id="footnotes"><hr></div>\r
241<div id="footer">\r
242<div id="footer-text">\r
243</div>\r
244<div id="footer-badges">\r
245</div>\r
246</div>\r
247</body>\r
248</html>\r