Popular repositories Loading

1. seL4 seL4 Public

   Forked from seL4/seL4

   The seL4 microkernel

   C

2. refos refos Public

   Forked from seL4/refos

   Reference OS personality built on seL4

   C

3. offst offst Public

   Forked from freedomlayer/offset

   Offst payment engine

   Rust

4. offst_docs offst_docs Public

   Forked from freedomlayer/offset_docs

   Documentation and design notes for offst

5. stctrl stctrl Public

   Offst Control Client

   Rust

6. rust-sgx-sdk rust-sgx-sdk Public

   Forked from apache/teaclave-sgx-sdk

   Rust SGX SDK provides the ability to write Intel SGX applications in Rust Programming Language.

   Rust