/usr/share/doc/mlton/guide/Users is in mlton-doc 20100608-5.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191 192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228 229 230 231 232 233 234 | <!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>
|