MetaPRL - This is a logical framework for formally defining logics and performing interactive and automated reasoning. Efforts are currently underway to tie this project into the Mojave Compiler.

Mojave/MetaPRL Compiler - This is a modern compiler implemented within the MetaPRL logical framework

MojaveComm - This is an OCaml library that provides the implementation of a group communication protocol that guarantees a total order of messages in the system and allows for multi-group membership of processes.

MojaveFS - This is an implementation of a user-level distributed file-system

KDIPC - This is a kernel-level implementation of a distributed inter-process communication library that extends System V IPC to distributed environments.