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.