Finally, our goal is speed. The implementation language, OCaml, provides performance close to C, but with a formal semantics, type safety, modularity, and extensive checking to assist code modification and development. Abstract data structures provide optimized domain-specific logical operations. People gives a list of people know to be working on the project. Links provides links to the other related systems and software.
Logical framework presents the logical properties of the system.
System description gives an overview of MetaPRL's architecture and features.