| LibMojave: | An OCaml libarary developed by the Mojave group at Caltech; used in MetaPRL, OMake and other projects. |
|---|---|
| MetaPRL: | MetaPRL proof assistant |
| metaprl.org: | The MetaPRL/Mojave Server |
| MMC: | The MetaPRL "Mojave" Compiler implementation. |
| OMake: | OMake build system |