Pinned Loading

1. ProvableHQ/snarkOS ProvableHQ/snarkOS Public

   A Decentralized Operating System for ZK Applications

   Rust 4.5k 2.7k

2. redox-os/ion redox-os/ion Public

   Mirror of https://gitlab.redox-os.org/redox-os/ion

   Rust 1.6k 142

3. occlum/occlum occlum/occlum Public

   Occlum is a memory-safe, multi-process library OS for Intel SGX

   Rust 1.5k 249

4. apache/teaclave-sgx-sdk apache/teaclave-sgx-sdk Public

   Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SDK.

   Rust 1.2k 267