California State University, Northridge - We use Ocaml for identity managment and web service tasks. We fund the development of the ocamldap, and rmwd projects, and we contribute to the wdialog, and ocamlnet projects. contact us
http://www.einfo.com Byron Hale, Managing Partner, Effective Information, LLC Software driven product development that eliminates extensive testing.
Palo Alto Research Center OCaml is used in our research on intelligent embedded software (planning, scheduling, and optimization). Contact Wheeler Ruml.
Skydeck - Skydeck builds and delivers applications and services for mobile devices.
Wink is a leading people search engine. It was acquired by Reunion.com in 2008, rebranded as MyLife.com in 2009 to reflect the merge.
Symas Corporation - We use Ocaml for (our own) web services, identity managment, and access control tasks
Avisere, Inc. - We use OCaml for developing signal and image processing algorithms.
Jane Street Capital - We use OCaml throughout our operation, from analysis to execution of trades. Contact us here.
Galois - Galois has developed a domain specific declarative language for cryptographic algorithms. One of our research compilers is written in OCaml and makes very extensive use of camlp4. Contact Mark Shields