|  | OMake Home Documentation Download Publications Mailing lists Users and projects Bugzilla Browse sources Changelog summary, verbose

## OMake Users and Projects (partial list)

The following companies, groups and projects that are known to use OMake. We have just started collecting the information about OMake users; the list is likely to contain only a small portion of all the OMake users and projects.

To update the information in this list, contact the OMake mailing list or Aleksey Nogin.

- Mojave Research Group, Caltech
  - Headed by Jason Hickey — OMake creator
  - MetaPRL Proof Assistant and Logical Framework — 100+ directories, 2800+ files, 230+ KLoc (including 30+ KLoc of LibMojave library); languages: OCaml, C.
  - OMake itself — 50+ directories, 500+ files, 70+ KLoc (including 30+ KLoc of LibMojave library); languages: OCaml, C.
  - A number of smaller projects
- HRL Laboratories, LLC
  - Aleksey Nogin — one of the core OMake developers — have joined HRL in August 2006
  - Uses OMake in a number of projects
- Jane Street Capital, LLC — a specialist in over 350 derivative financial products on several major exchanges.
  - OMake is the primary build system for the research and production infrastructures
- Lexifi — a company that provides software for designing and managing complex financial products.
  - Lexifi has switched its build system to OMake. Lexifi code base is made mostly of sources in MLFi (their own dialect of OCaml, about 250 Kloc), C# (90 Kloc) and C (10 Kloc). The platforms Lexifi supports are Win32 (Microsoft and Mingw toolchains) and Linux.
  - According to Alain Frisch, moving to OMake was very enjoyable and the result is a drastic gain in compactness, efficiency and robustness of their build system.
- Benjamin Pierce and a few other members of the Programming Languages Club, Department of Computer & Information Science, School of Engineering and Science, University of Pennsylvania
  - Harmony: A universal data synchronizer — 50+ directories, 450+files, 40+ KLoc; languages: OCaml, C
  - Scripts for building the group's web site
  - Other smaller projects
- RiskMetrics Group — a financial risk management company
  - OMake is used by the research group — 100s LaTeX files, some C++, some Java
- Ant, a typesetting system, “Ant is not TeX” — 15+ directories, 200+files, 45+KLoc, language: OCaml
- Center for Algorithms and Interactive Scientific Software, The City College of New York
  - CAISS-Stat project — 24MB, 3000+ files, 75+KLoc (only the C++ back-end is managed by OMake)
- Programming Languages Research Group, Department of Computer Science, The University of Maryland, College Park
  - Saffire: Static Analysis of Foreign Function InteRfacEs — 120+files, 45+ KLoc; languages: ML, Java.
  - Other smaller projects
- Milawa Proof Checker — 25+ directories, 125+ files, 38+KLoc; language: Lisp
- Objective Caml Reactive Toolkit — 10+ directories, 90+ files, 4+ KLoc; languages: OCaml, C.

The above KLoc (thousands of lines of code) estimates are computed using David A. Wheeler's 'SLOCCount' utility.