OCaml in "Real World"™

End-user software

• coq -- formal proof management system

• mldonkey -- multi-platform multi-network P2P daemon

• unison -- file synchronization tool

• GeneWeb -- Genealogy Software

• HEVEA -- L^AT_EX to HTML translator

• SKS -- OpenPGP keyserver

• approx -- caching proxy server for Debian archive files

• MediaWiki Math extension -- support for rendering mathematical formulas on-wiki

• Paparazzi autopilot -- software for autonomous aircraft mission planning and monitoring

Development tools

• FFTW -- C subroutine library for computing the discrete Fourier transform

• coccinelle -- program matching and transformation engine for C language

• Frama-C -- source-code analysis platform for C software

• CIL-- program analysis and transformation frontend for C language

• pfff -- code analysis and refactoring tool

• HaXe -- multiplatform (JS/Flash/PHP/C++) language

• Opa -- web-oriented development platform (language + server + runtime)

• Goanna -- static analysis tool for C/C++

Commercial users

• Citrix -- Xen virtualization technology API

• LexiFi -- software applications and infrastructure technology for the capital markets industry

• Esterel Technologies -- critical systems and software development solutions

• Jane Street -- quantitative proprietary trading platform

• MyLife (former Wink) -- people search platform (backend)

• AlertLogic -- IT security and compliance automation (ocaml is used for log analysis)

• Echo (former JS-kit) -- platform for low latency web apps (Language transformations)

• MLstate -- the company behind the Opa

• Acunu - storage platform (CUFP report)

See also Caml Consortium

2011-03-26 13:09