<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta name="robots" content="index,nofollow">
<title>Users - MLton Standard ML Compiler (SML Compiler)</title>
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="all" href="common.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="screen" href="screen.css">
<link rel="stylesheet" type="text/css" charset="iso-8859-1" media="print" href="print.css">
<link rel="Start" href="Home">
</head>
<body lang="en" dir="ltr">
<script src="http://www.google-analytics.com/urchin.js" type="text/javascript">
</script>
<script type="text/javascript">
_uacct = "UA-833377-1";
urchinTracker();
</script>
<table bgcolor = lightblue cellspacing = 0 style = "border: 0px;" width = 100%>
<tr>
<td style = "
border: 0px;
color: darkblue;
font-size: 150%;
text-align: left;">
<a class = mltona href="Home">MLton MLTONWIKIVERSION</a>
<td style = "
border: 0px;
font-size: 150%;
text-align: center;
width: 50%;">
Users
<td style = "
border: 0px;
text-align: right;">
<table cellspacing = 0 style = "border: 0px">
<tr style = "vertical-align: middle;">
</table>
<tr style = "background-color: white;">
<td colspan = 3
style = "
border: 0px;
font-size:70%;
text-align: right;">
<a href = "Home">Home</a>
<a href = "TitleIndex">Index</a>
</table>
<div id="content" lang="en" dir="ltr">
Here is a list of companies, projects, and courses that use or have used MLton. If you use MLton and are not here, please add your project with a brief description and a link. Thanks. <h2 id="head-9dba7ad7c5bdb2aa80495855ae01b2cbb94d11c9">Companies</h2>
<ul>
<li>
<p>
<a class="external" href="http://www.hardcoreprocessing.com/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Hardcore Processing</a> uses MLton as a <a class="external" href="http://www.hardcoreprocessing.com/Freeware/MLTonWin32.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">crosscompiler from Linux to Windows</a> for graphics and game software.
</p>
</li>
<ul>
<li>
<p>
<a class="external" href="http://www.cex3d.net/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">CEX3D Converter</a>, a conversion program for 3D objects.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.hardcoreprocessing.com/company/showreel/index.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Interactive Showreel</a>, which contains a crossplatform GUI-toolkit and a realtime renderer for a subset of RenderMan written in Standard ML.
</p>
</li>
<li>
<p>
various <a class="external" href="http://www.hardcoreprocessing.com/entertainment/index.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">games</a>
</p>
</li>
</ul>
<li>
<p>
<a class="external" href="http://www.polyspace.com/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">PolySpace Technologies</a> builds their product that detects runtime errors in embedded systems based on abstract interpretation.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.sourcelight.com/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Sourcelight Technologies</a> uses MLton internally for prototyping and for processing databases as part of their system that makes personalized movie recommendations.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.reactive-systems.com/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Reactive Systems</a> uses MLton to build Reactis, a model-based testing and validation package used in the automotive and aerospace industries.
</p>
</li>
</ul>
<h2 id="head-53e890d5f0fffe09587c55dce74e9a6febf59b5c">Projects</h2>
<ul>
<li>
<p>
<a class="external" href="http://www-ia.hiof.no/%7Erolando/adate_intro.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">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.
</p>
</li>
<li>
<p>
<a class="external" href="http://types.bu.edu/reports/Dim+Wes+Mul+Tur+Wel+Con:TIC-2000-LNCS.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">CIL</a>, a compiler for SML based on intersection and union types.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.cs.cmu.edu/%7Econcert/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">ConCert</a>, a project investigating certified code for grid computing.
</p>
</li>
<li>
<p>
<a class="external" href="http://hcoop.sourceforge.net/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Cooperative Internet hosting tools</a>
</p>
</li>
<li>
<p>
<a class="external" href="http://www.eecs.harvard.edu/~stein/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">DesynchFS</a>, a programming model and distributed file system for large clusters
</p>
</li>
<li>
<p>
<a class="external" href="http://www.fantasy-coders.de/projects/gh/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Guugelhupf</a>, a simple search engine.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.ps.uni-sb.de/hamlet/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">HaMLet</a>, a model implementation of Standard ML.
</p>
</li>
<li>
<p>
<a class="external" href="http://code.google.com/p/kepler-code/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">KeplerCode</a>, independent verification of the computational aspects of proofs of the Kepler conjecture and the Dodecahedral conjecture.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.cl.cam.ac.uk/users/jeh1004/research/metis/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Metis</a>, a first-order prover used in the <a class="external" href="http://hol.sourceforge.net/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">HOL4 theorem proving system</a>.
</p>
</li>
<li>
<p>
<a class="external" href="http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/tom7misc/net/mlftpd"><img src="moin-www.png" alt="[WWW]" height="11" width="11">mlftpd</a>, an ftp daemon written in SML. <a href="TomMurphy">TomMurphy</a> is also working on <a class="external" href="http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/tom7misc/net/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">replacements for standard network services</a> in SML. He also uses MLton to build his entries (<a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2001/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2001</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2002/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2002</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2004/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2004</a>, <a class="external" href="http://www.cs.cmu.edu/~tom7/icfp2005/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">2005</a>) in the annual ICFP programming contest.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.informatik.uni-freiburg.de/proglang/research/software/mlope/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">MLOPE</a>, an offline partial evaluator for Standard ML.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.ida.liu.se/~pelab/rml/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">RML</a>, a system for developing, compiling and debugging and teaching structural operational semantics (SOS) and natural semantics specifications.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.cis.ksu.edu/~allen/smlnjtrans.html"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SMLNJtrans</a>, a program for generating SML/NJ transcripts in LaTeX.
</p>
</li>
<li>
<p>
<a class="external" href="http://www-2.cs.cmu.edu/%7Etom7/ssapre/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">SSA PRE</a>, an implementation of Partial Redundancy Elimination for MLton.
</p>
</li>
<li>
<p>
<a href="Stabilizers">Stabilizers</a>, a modular checkpointing abstraction for concurrent functional programs.
</p>
</li>
<li>
<p>
<a class="external" href="http://ttic.uchicago.edu/~umut/sting/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">STING</a>, self-adjusting computation, a paradigm of computing where programs can automatically adjust to changes to their data.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.laas.fr/tina"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Tina</a> (Time Petri net Analyzer)
</p>
</li>
<li>
<p>
<a class="external" href="http://www.twelf.org/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Twelf</a> an implementation of the LF logical framework.
</p>
</li>
<li>
<p>
<a class="external" href="http://regiment.us"><img src="moin-www.png" alt="[WWW]" height="11" width="11">WaveScript</a>, part of the <a class="external" href="http://wavescope.csail.mit.edu/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">WaveScope</a> sensor network project. Produces MLton code in backend. <a class="external" href="http://www.lecs.cs.ucla.edu/~girod/aensbox/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Used on embedded devices.</a>
</p>
</li>
</ul>
<h2 id="head-a16536d78dc34897436003938234d72482a1d526">Courses</h2>
<ul>
<li>
<p>
<a class="external" href="http://www.eecs.harvard.edu/%7Enr/cs152/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Harvard CS-152</a>, undergraduate programming languages.
</p>
</li>
<li>
<p>
<a class="external" href="http://www.ia-stud.hiof.no/%7Erolando/PL/"><img src="moin-www.png" alt="[WWW]" height="11" width="11">Høgskolen i Østfold IAI30202</a>, programming languages.
</p>
</li>
</ul>
</div>
<p>
<hr>
Last edited on 2009-08-18 14:39:02 by <span title="rrcs-70-63-132-179.midsouth.biz.rr.com">SteveSims</span>.
</body></html>
