[Omake] Where do you use OMake - a web page listing projects that use OMake?

[Aleksey Nogin]

Hi All,

Would you be interested in compiling a web page listing the 
projects/groups/companies that use OMake? Would you be willing to share 
some basic information on how you use OMake?

If the answer to the above questions is "yes", I would like to try 
collecting the OMake usage data and compiling such a page.

To bootstrap the process, here is some information on my usage of the tool:

- Mojave Research Group, Caltech - http://mojave.caltech.edu/
    - MetaPRL Proof Assistant and Logical Framework - http://metaprl.org/
      100+ directories, 2800+ files, 1000+ KLoc (1+ MLoc).
    - A number of smaller projects

- HRL Laboratories, LLC - http://www.hrl.com/
    - A number of small projects

Aleksey