<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

<html>

    <head>
        <meta http-equiv="content-type" content="text/html;charset=iso-8859-1">
        <title>The OMake build system: users and projects</title>
    </head>

    <body bgcolor="#ffffff" text="#000000">
        <table><tr><td><img src="images/omake.gif" alt="" width="300" height="137" border="0"></td>
            <td width="50px" valign="top"></td>
            <td valign="top">
              <a href="index.html">OMake Home</a><br>
              <a href="manual/omake.html">Documentation</a><br>
              <a href="download.html">Download</a><br>
              <a href="omake_papers.html">Publications</a></br>
              <a href="omake_lists.html">Mailing lists</a><br>
              <a href="contribs.html">User contributions</a><br>
              <u>Users and projects</u><br>
              <a href="http://bugzilla.metaprl.org/">Bugzilla</a><br>
              <a href="http://svn.metaprl.org/viewcvs/mojave/omake-branches/0.9.8.x/">Browse sources</a><br>
              Changelog
                  <a
                  href="http://svn.metaprl.org/viewcvs/*checkout*/mojave/omake-branches/0.9.8.x/CHANGELOG.txt">summary</a>,
                  <a href="changelog.html">verbose</a>
              </td>

            </tr></table>
         <h2>OMake Users and Projects (partial list)</h2>
         <p>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.

         <p> To update the information in this list, contact <a
         href="https://lists.metaprl.org/mailman/listinfo/omake">the OMake
         mailing list</a> or <a href="mailto:nogin+omake@metaprl.org">Aleksey
         Nogin</a>.
         <ul>
         <li><a href="http://mojave.caltech.edu/">Mojave Research Group,
         Caltech</a>
            <ul>
               <li>Headed by <a href="http://www.cs.caltech.edu/~jyh">Jason
               Hickey</a> &mdash; OMake creator</li>
               <li> <a href="http://metaprl.org/">MetaPRL Proof Assistant and
               Logical Framework</a> &mdash; 100+ directories, 2800+ files,
               230+ KLoc (including 30+ KLoc of LibMojave library); languages:
               OCaml, C. </li>
               <li> OMake itself &mdash; 50+ directories, 500+ files, 70+ KLoc (including 30+ KLoc of LibMojave library);
               languages: OCaml, C.</li>
               <li> A number of smaller projects</li>
            </ul>
          <li><a href="http://www.hrl.com/">HRL Laboratories, LLC</a>
            <ul>
            <li><a href="http://nogin.org/">Aleksey Nogin</a> &mdash; one of
            the core OMake developers &mdash; have joined HRL in August
            2006</li>
            <li>Uses OMake in a number of projects</li></ul>
          </li>
          <li><a href="http://www.janestcapital.com/">Jane Street Capital,
          LLC</a> &mdash; a specialist in over 350 derivative financial products
          on several major exchanges.<ul>
          <li>OMake is the primary build system for the research and
          production infrastructures
          </ul>
          <li><a href="http://www.lexifi.com/">Lexifi</a> &mdash; a company
          that provides software for designing and managing complex financial
          products.
          <ul>
            <li>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.
            <li>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.
          </ul>
          <li><a href="http://www.cis.upenn.edu/~bcpierce/">Benjamin
          Pierce</a> and a few other members of the <a
          href="http://www.cis.upenn.edu/~plclub/">Programming Languages
          Club</a>, Department of Computer &amp; Information Science, School
          of Engineering and Science, University of Pennsylvania
          <ul>
            <li><a href="http://www.seas.upenn.edu/~harmony/">Harmony: A
            universal data synchronizer</a> &mdash; 50+ directories,
            450+files, 40+ KLoc; languages: OCaml, C</li>
            <li>Scripts for building the group's web site</li>
            <li>Other smaller projects</li>
          </ul>
          <li><a href="http://www.riskmetrics.com">RiskMetrics Group</a>
          &mdash; a financial risk management company
           <ul><li>OMake is used by the research group &mdash; 100s LaTeX files, some C++, some Java
           </ul>
          <li><a href="http://developer.berlios.de/projects/ant/">Ant,
          a typesetting system, &ldquo;Ant is not TeX&rdquo;</a> &mdash; 15+
          directories, 200+files, 45+KLoc, language: OCaml
          <li><a href="http://caissny.org/">Center for Algorithms and Interactive Scientific Software,
          The City College of New York</a>
            <ul><li>CAISS-Stat project &mdash; 24MB, 3000+ files, 75+KLoc
          (only the C++ back-end is managed by OMake)</ul>
          <li><a href="http://www.cs.umd.edu/projects/PL/">Programming
          Languages Research Group</a>, Department of Computer Science, The
          University of Maryland, College Park
          <ul><li><a href="http://www.cs.umd.edu/~furr/saffire">Saffire:
          Static Analysis of Foreign Function InteRfacEs</a> &mdash;
          120+files, 45+ KLoc; languages: ML, Java.
          <li>Other smaller projects</li>
          </ul>
          <li><a
          href="http://www.cs.utexas.edu/users/jared/milawa/Web/">Milawa Proof
          Checker</a> &mdash; 25+ directories, 125+ files, 38+KLoc; language:
          Lisp
          <li><a href="http://users.wpi.edu/~squirrel/ocamlrt/">Objective Caml
          Reactive Toolkit</a> &mdash; 10+ directories, 90+ files, 4+ KLoc;
          languages: OCaml, C.
          </ul>
          <p><small>The above KLoc (thousands of lines of code) estimates are
          computed using <a href="http://www.dwheeler.com/sloccount">David A.
          Wheeler's 'SLOCCount' utility</a>.</small>
    </body>

</html>
