project-oak

Pinned Repositories

arcsjs-chromium
Language:JavaScript7 6 05
arcsjs-core
Language:JavaScript13 7 26
arcsjs-provable
Language:Rust3 3 170
hafnium-verification
Language:OCaml29 12 1116
oak
Meaningful control of data in distributed systems.
Language:Rust1.3k 39 1.2k109
oak-enclave
Language:Shell9 8 12
rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Language:Rust273 17 5637
silveroak
Formal specification and verification of hardware, especially for security and privacy.
Language:Coq123 16 24120
tink-rust
Rust port of Tink cryptography library
Language:Rust81 12 3311
transparent-release
Making transparency normal!
Language:Go24 7 919

project-oak's Repositories

project-oak/oak
Meaningful control of data in distributed systems.
Language:Rust1.3k 39 1.2k109
project-oak/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Language:Rust273 17 5637
project-oak/silveroak
Formal specification and verification of hardware, especially for security and privacy.
Language:Coq123 16 24120
project-oak/tink-rust
Rust port of Tink cryptography library
Language:Rust81 12 3311
project-oak/hafnium-verification
Language:OCaml29 12 1116
project-oak/transparent-release
Making transparency normal!
Language:Go24 7 919
project-oak/arcsjs-core
Language:JavaScript13 7 26
project-oak/oak-enclave
Language:Shell9 8 12
project-oak/arcsjs-chromium
Language:JavaScript7 6 05
project-oak/arcsjs-provable
Language:Rust3 3 170
project-oak/wasm-shared-buffers
Language:Rust3 3 02
project-oak/hello-transparent-release
Language:Shell1 6 15
project-oak/.allstar
4 0
project-oak/.github
4 0