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