MLton 20051202

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.

## 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

- Guugelhupf, a simple search engine.

- HaMLet a model implementation of Standard ML.

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

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

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

- Tina (Time Petri net Analyzer)

- Twelf an implementation of the LF logical framework.

## Courses

- Harvard CS-152, undergraduate programming languages.

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

Last edited on 2005-12-02 03:28:50 by StephenWeeks.