Users - MLton Standard ML Compiler (SML Compiler)

MLton MLTONWIKIVERSION | Users |
Home Index

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.

## Companies

- Hardcore Processing uses MLton as a crosscompiler from Linux to Windows for graphics and game software.

- CEX3D Converter, a conversion program for 3D objects.

- Interactive Showreel, which contains a crossplatform GUI-toolkit and a realtime renderer for a subset of RenderMan written in Standard ML.

- various games

- PolySpace Technologies builds their product that detects runtime errors in embedded systems based on abstract interpretation.

- Sourcelight Technologies uses MLton internally for prototyping and for processing databases as part of their system that makes personalized movie recommendations.

- Reactive Systems uses MLton to build Reactis, a model-based testing and validation package used in the automotive and aerospace industries.

## Projects

- ADATE, 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.

- CIL, a compiler for SML based on intersection and union types.

- ConCert, a project investigating certified code for grid computing.

- Cooperative Internet hosting tools

- DesynchFS, a programming model and distributed file system for large clusters

- Guugelhupf, a simple search engine.

- HaMLet, a model implementation of Standard ML.

- KeplerCode, independent verification of the computational aspects of proofs of the Kepler conjecture and the Dodecahedral conjecture.

- Metis, a first-order prover used in the HOL4 theorem proving system.

- mlftpd, an ftp daemon written in SML. TomMurphy is also working on replacements for standard network services in SML. He also uses MLton to build his entries (2001, 2002, 2004, 2005) in the annual ICFP programming contest.

- MLOPE, an offline partial evaluator for Standard ML.

- RML, a system for developing, compiling and debugging and teaching structural operational semantics (SOS) and natural semantics specifications.

- SMLNJtrans, a program for generating SML/NJ transcripts in LaTeX.

- SSA PRE, an implementation of Partial Redundancy Elimination for MLton.

- Stabilizers, a modular checkpointing abstraction for concurrent functional programs.

- STING, self-adjusting computation, a paradigm of computing where programs can automatically adjust to changes to their data.

- Tina (Time Petri net Analyzer)

- Twelf an implementation of the LF logical framework.

- WaveScript, part of the WaveScope sensor network project. Produces MLton code in backend. Used on embedded devices.

## Courses

- Harvard CS-152, undergraduate programming languages.

- Høgskolen i Østfold IAI30202, programming languages.

Last edited on 2009-08-18 14:39:02 by SteveSims.