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
- 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
- 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.
