coq -- formal proof management system
mldonkey -- multi-platform multi-network P2P daemon
unison -- file synchronization tool
GeneWeb -- Genealogy Software
HEVEA -- LATEX 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
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++
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
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