OpenCompute Laboratory

Developing fully open-source, provably secure, and fully (possibly purely) functional models of computing