HCoop / hcoop / debian / mlton.git / blame
? search:
summary | shortlog | log | commit | commitdiff | tree
blob | blame (incremental) | history | HEAD
Import Upstream version 20180207
[hcoop/debian/mlton.git] / doc / guide / localhost / Users
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>Users</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>Users</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>Here is a list of companies, projects, and courses that use or have\r
32used MLton. If you use MLton and are not here, please add your\r
33project with a brief description and a link. Thanks.</p></div>\r
34</div>\r
35</div>\r
36<div class="sect1">\r
37<h2 id="_companies">Companies</h2>\r
38<div class="sectionbody">\r
39<div class="ulist"><ul>\r
40<li>\r
41<p>\r
42<a href="http://www.hardcoreprocessing.com/">Hardcore Processing</a> uses MLton as a <a href="http://www.hardcoreprocessing.com/Freeware/MLTonWin32.html">crosscompiler from Linux to Windows</a> for graphics and game software.\r
43</p>\r
44<div class="ulist"><ul>\r
45<li>\r
46<p>\r
47<a href="http://www.cex3d.net/">CEX3D Converter</a>, a conversion program for 3D objects.\r
48</p>\r
49</li>\r
50<li>\r
51<p>\r
52<a href="http://www.hardcoreprocessing.com/company/showreel/index.html">Interactive Showreel</a>, which contains a crossplatform GUI-toolkit and a realtime renderer for a subset of RenderMan written in Standard ML.\r
53</p>\r
54</li>\r
55<li>\r
56<p>\r
57various <a href="http://www.hardcoreprocessing.com/entertainment/index.html">games</a>\r
58</p>\r
59</li>\r
60</ul></div>\r
61</li>\r
62<li>\r
63<p>\r
64<a href="http://www.mathworks.com/products/polyspace/">MathWorks/PolySpace Technologies</a> builds their product that detects runtime errors in embedded systems based on abstract interpretation.\r
65</p>\r
66</li>\r
67<li>\r
68<p>\r
69<a href="http://www.reactive-systems.com/">Reactive Systems</a> uses MLton to build Reactis, a model-based testing and validation package used in the automotive and aerospace industries.\r
70</p>\r
71</li>\r
72</ul></div>\r
73</div>\r
74</div>\r
75<div class="sect1">\r
76<h2 id="_projects">Projects</h2>\r
77<div class="sectionbody">\r
78<div class="ulist"><ul>\r
79<li>\r
80<p>\r
81<a href="http://www-ia.hiof.no/%7Erolando/adate_intro.html">ADATE</a>, Automatic Design of Algorithms Through Evolution, a system for automatic programming i.e., inductive inference of algorithms. ADATE can automatically generate non-trivial and novel algorithms written in Standard ML.\r
82</p>\r
83</li>\r
84<li>\r
85<p>\r
86<a href="http://types.bu.edu/reports/Dim+Wes+Mul+Tur+Wel+Con:TIC-2000-LNCS.html">CIL</a>, a compiler for SML based on intersection and union types.\r
87</p>\r
88</li>\r
89<li>\r
90<p>\r
91<a href="http://www.cs.cmu.edu/%7Econcert/">ConCert</a>, a project investigating certified code for grid computing.\r
92</p>\r
93</li>\r
94<li>\r
95<p>\r
96<a href="http://hcoop.sourceforge.net/">Cooperative Internet hosting tools</a>\r
97</p>\r
98</li>\r
99<li>\r
100<p>\r
101<a href="http://www.fantasy-coders.de/projects/gh/">Guugelhupf</a>, a simple search engine.\r
102</p>\r
103</li>\r
104<li>\r
105<p>\r
106<a href="http://www.mpi-sws.org/%7Erossberg/hamlet/">HaMLet</a>, a model implementation of Standard ML.\r
107</p>\r
108</li>\r
109<li>\r
110<p>\r
111<a href="http://code.google.com/p/kepler-code/">KeplerCode</a>, independent verification of the computational aspects of proofs of the Kepler conjecture and the Dodecahedral conjecture.\r
112</p>\r
113</li>\r
114<li>\r
115<p>\r
116<a href="http://www.gilith.com/research/metis/">Metis</a>, a first-order prover (used in the <a href="http://hol.sourceforge.net/">HOL4 theorem prover</a> and the <a href="http://isabelle.in.tum.de/">Isabelle theorem prover</a>).\r
117</p>\r
118</li>\r
119<li>\r
120<p>\r
121<a href="http://tom7misc.cvs.sourceforge.net/viewvc/tom7misc/net/mlftpd/">mlftpd</a>, an ftp daemon written in SML. <a href="TomMurphy">TomMurphy</a> is also working on <a href="http://tom7misc.cvs.sourceforge.net/viewvc/tom7misc/net/">replacements for standard network services</a> in SML. He also uses MLton to build his entries (<a href="http://www.cs.cmu.edu/%7Etom7/icfp2001/">2001</a>, <a href="http://www.cs.cmu.edu/%7Etom7/icfp2002/">2002</a>, <a href="http://www.cs.cmu.edu/%7Etom7/icfp2004/">2004</a>, <a href="http://www.cs.cmu.edu/%7Etom7/icfp2005/">2005</a>) in the annual ICFP programming contest.\r
122</p>\r
123</li>\r
124<li>\r
125<p>\r
126<a href="http://www.informatik.uni-freiburg.de/proglang/research/software/mlope/">MLOPE</a>, an offline partial evaluator for Standard ML.\r
127</p>\r
128</li>\r
129<li>\r
130<p>\r
131<a href="http://www.ida.liu.se/%7Epelab/rml/">RML</a>, a system for developing, compiling and debugging and teaching structural operational semantics (SOS) and natural semantics specifications.\r
132</p>\r
133</li>\r
134<li>\r
135<p>\r
136<a href="http://www.macs.hw.ac.uk/ultra/skalpel/index.html">Skalpel</a>, a type-error slicer for SML\r
137</p>\r
138</li>\r
139<li>\r
140<p>\r
141<a href="http://www.cs.cmu.edu/%7Etom7/ssapre/">SSA PRE</a>, an implementation of Partial Redundancy Elimination for MLton.\r
142</p>\r
143</li>\r
144<li>\r
145<p>\r
146<a href="Stabilizers">Stabilizers</a>, a modular checkpointing abstraction for concurrent functional programs.\r
147</p>\r
148</li>\r
149<li>\r
150<p>\r
151<a href="http://ttic.uchicago.edu/%7Epl/sa-sml/">Self-Adjusting SML</a>, self-adjusting computation, a model of computing where programs can automatically adjust to changes to their data.\r
152</p>\r
153</li>\r
154<li>\r
155<p>\r
156<a href="http://faculty.ist.unomaha.edu/winter/ShiftLab/TL_web/TL_index.html">TL System</a>, providing general-purpose support for rewrite-based transformation over elements belonging to a (user-defined) domain language.\r
157</p>\r
158</li>\r
159<li>\r
160<p>\r
161<a href="http://projects.laas.fr/tina/">Tina</a> (Time Petri net Analyzer)\r
162</p>\r
163</li>\r
164<li>\r
165<p>\r
166<a href="http://www.twelf.org/">Twelf</a> an implementation of the LF logical framework.\r
167</p>\r
168</li>\r
169<li>\r
170<p>\r
171<a href="http://www.cs.indiana.edu/%7Errnewton/wavescope/">WaveScript/WaveScript</a>, a sensor network project; the WaveScript compiler can generate SML (MLton) code.\r
172</p>\r
173</li>\r
174</ul></div>\r
175</div>\r
176</div>\r
177<div class="sect1">\r
178<h2 id="_courses">Courses</h2>\r
179<div class="sectionbody">\r
180<div class="ulist"><ul>\r
181<li>\r
182<p>\r
183<a href="http://www.eecs.harvard.edu/%7Enr/cs152/">Harvard CS-152</a>, undergraduate programming languages.\r
184</p>\r
185</li>\r
186<li>\r
187<p>\r
188<a href="http://www.ia-stud.hiof.no/%7Erolando/PL/">Høgskolen i Østfold IAI30202</a>, programming languages.\r
189</p>\r
190</li>\r
191</ul></div>\r
192</div>\r
193</div>\r
194</div>\r
195<div id="footnotes"><hr></div>\r
196<div id="footer">\r
197<div id="footer-text">\r
198</div>\r
199<div id="footer-badges">\r
200</div>\r
201</div>\r
202</body>\r
203</html>\r
mlton packaging