<!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">

<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 20051202</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>
      &nbsp;<a href = "Index">Index</a>
      &nbsp;
</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>

    </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.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://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.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 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>

    </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 2005-12-02 03:28:50 by <span title="ppp-71-139-183-221.dsl.snfc21.pacbell.net"><a href="StephenWeeks">StephenWeeks</a></span>.
</body></html>
