Permalink
Switch branches/tags
Nothing to show
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
56 lines (44 sloc) 3.55 KB

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 -- 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
  • Dose3 -- a framework for managing distribution packages and their dependencies
  • Liquidsoap -- a swiss-army knife for multimedia streaming, notably used for netradios and webtvs
  • seaiq -- marine charting apps for iOS
  • Psellos -- iOS games

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++
  • Hack -- progamming language for HHVM with incremental static typing and seamless PHP integration
  • Flow -- static type checker for Javascript

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)
  • Mr.Number -- crowd-sourced identity service
  • Redspell --- games for social networks and mobile devices (Framework on Github)

See also


2012-07-23