Repositories list

• oak

  Public
  Meaningful control of data in distributed systems.

  distributed-systemspolicyenclave

  Rust

  •

  Apache License 2.0

  •113•1.3k•61•9•Updated Nov 13, 2024Nov 13, 2024

• tink-rust

  Public
  Rust port of Tink cryptography library

  Rust

  •

  Apache License 2.0

  •11•82•13•18•Updated Nov 11, 2024Nov 11, 2024

• arcsjs-provable

  Public archive
  Rust

  •0•3•11•0•Updated Jan 12, 2024Jan 12, 2024

• arcsjs-chromium

  Public archive
  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •5•7•0•1•Updated Jan 12, 2024Jan 12, 2024

• arcsjs-core

  Public archive
  JavaScript

  •

  BSD 3-Clause "New" or "Revised" License

  •6•14•2•1•Updated Jan 12, 2024Jan 12, 2024

• transparent-release

  Public archive
  Making transparency normal!

  Go

  •

  Apache License 2.0

  •9•24•16•4•Updated Dec 18, 2023Dec 18, 2023

• hello-transparent-release

  Public archive
  Shell

  •

  Apache License 2.0

  •6•1•1•0•Updated Jul 17, 2023Jul 17, 2023

• .allstar

  Public archive
  0•0•0•0•Updated Dec 6, 2022Dec 6, 2022

• .github

  Public archive
  0•0•0•0•Updated Oct 26, 2022Oct 26, 2022

• silveroak

  Public archive
  Formal specification and verification of hardware, especially for security and privacy.

  hardwarecoqformal-verification

  Coq

  •

  Apache License 2.0

  •20•124•34•3•Updated May 19, 2022May 19, 2022

• wasm-shared-buffers

  Public archive
  Rust

  •

  Apache License 2.0

  •2•3•0•0•Updated Feb 18, 2022Feb 18, 2022

• rust-verification-tools

  Public archive
  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  fuzzingseahornrust+ 3verificationkleeproptest

  Rust

  •

  Apache License 2.0

  •37•274•25•0•Updated Feb 12, 2022Feb 12, 2022

• hafnium-verification

  Public archive
  OCaml

  •

  Apache License 2.0

  •16•29•9•0•Updated Jul 27, 2020Jul 27, 2020

• oak-enclave

  Public archive
  Shell

  •

  Apache License 2.0

  •2•9•1•0•Updated Jun 13, 2019Jun 13, 2019