1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
|
<!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> — OMake creator</li>
<li> <a href="http://metaprl.org/">MetaPRL Proof Assistant and
Logical Framework</a> — 100+ directories, 2800+ files,
230+ KLoc (including 30+ KLoc of LibMojave library); languages:
OCaml, C. </li>
<li> OMake itself — 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> — one of
the core OMake developers — 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> — 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> — 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 & 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> — 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>
— a financial risk management company
<ul><li>OMake is used by the research group — 100s LaTeX files, some C++, some Java
</ul>
<li><a href="http://developer.berlios.de/projects/ant/">Ant,
a typesetting system, “Ant is not TeX”</a> — 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 — 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> —
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> — 25+ directories, 125+ files, 38+KLoc; language:
Lisp
<li><a href="http://users.wpi.edu/~squirrel/ocamlrt/">Objective Caml
Reactive Toolkit</a> — 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>
|
