project-oak

arcsjs-core Public

JavaScript 2 BSD-3-Clause 3 0 0 Updated Sep 1, 2022
arcsjs-chromium Public

JavaScript 3 BSD-3-Clause 3 0 2 Updated Aug 31, 2022
oak Public
Meaningful control of data in distributed systems.

Rust 821 Apache-2.0 72 144 (12 issues need help) 19 Updated Aug 31, 2022
tink-rust Public
Rust port of Tink cryptography library

Rust 54 Apache-2.0 8 8 5 Updated Aug 31, 2022
hello-transparent-release Public

Shell 0 Apache-2.0 0 0 0 Updated Aug 30, 2022
transparent-release Public

Starlark 3 Apache-2.0 5 31 3 Updated Aug 30, 2022
arcsjs-provable Public

Rust 2 0 11 (4 issues need help) 0 Updated Aug 19, 2022
silveroak Public archive
Formal specification and verification of hardware, especially for security and privacy.

Coq 100 Apache-2.0 20 34 3 Updated May 19, 2022
wasm-shared-buffers Public

Rust 3 Apache-2.0 2 0 0 Updated Feb 18, 2022
rust-verification-tools Public archive
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

Rust 249 Apache-2.0 29 25 (2 issues need help) 0 Updated Feb 12, 2022

Pinned