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.
Skydeck - Skydeck builds and delivers applications and services for mobile devices.
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.
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