The Mojave project is a research team using advanced formal methods, programming languages, and compilers to design distributed systems that are safe, reliable, and robust against failures.

The Mojave project includes several parts.

• The MetaPRL logical framework for formal reasoning, optimization, and code synthesis.
• The OMake build system.
• The Mojavecomm group communication toolkit.
• The MojaveFS filesystem, a decentralized, distributed, fault-tolerant filesystem.
• The multi-language Mojave compiler, which supports safe process migration and transactions for programs written in C, Caml, Java, and Pascal. You can download the compiler from the download page.