Skip to content

@project-oak project-oak

Change the repository type filter

All

    Repositories list

    14 repositories

    • oak

      Public
      Meaningful control of data in distributed systems.
      Rust
      •
      Apache License 2.0
      •137•1.5k•8•18•Updated Apr 2, 2026Apr 2, 2026

    • tink-rust

      Public
      Rust port of Tink cryptography library
      Rust
      •
      Apache License 2.0
      •18•94•15•27•Updated Mar 30, 2026Mar 30, 2026

    • 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
      •8•24•16•4•Updated Dec 18, 2023Dec 18, 2023

    • hello-transparent-release

      Public archive
      Shell
      •
      Apache License 2.0
      •8•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
      hardwarecoqformal-verification
      Coq
      •
      Apache License 2.0
      •20•133•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.
      rustverificationfuzzing
      rustverificationfuzzingkleeseahornproptest
      Rust
      •
      Apache License 2.0
      •37•280•25•0•Updated Feb 12, 2022Feb 12, 2022

    • hafnium-verification

      Public archive
      OCaml
      •
      Apache License 2.0
      •16•28•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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.