|  | 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 small projects
- Jane Street Capital, LLC
  - OMake is the primary build system for the research and production infrastructures
- 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
- 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)
- Milawa Proof Checker — 25+ directories, 125+ files, 38+KLoc; language: Lisp
- 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
- 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.