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
• RiskMetrics Group
  • 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.