Skip to content
@project-oak

project-oak

Pinned Loading

  1. oak Public

    Meaningful control of data in distributed systems.

    Rust 1.3k 114

Repositories

Showing 10 of 14 repositories
  • oak Public

    Meaningful control of data in distributed systems.

    Rust 1,346 Apache-2.0 114 62 (1 issue needs help) 8 Updated Feb 28, 2025
  • tink-rust Public

    Rust port of Tink cryptography library

    Rust 85 Apache-2.0 12 14 23 Updated Feb 26, 2025
  • arcsjs-provable Public archive
    Rust 3 0 11 (4 issues need help) 0 Updated Jan 12, 2024
  • arcsjs-chromium Public archive
    JavaScript 7 BSD-3-Clause 5 0 1 Updated Jan 12, 2024
  • arcsjs-core Public archive
    JavaScript 14 BSD-3-Clause 6 2 1 Updated Jan 12, 2024
  • transparent-release Public archive

    Making transparency normal!

    Go 24 Apache-2.0 9 16 (2 issues need help) 4 Updated Dec 18, 2023
  • hello-transparent-release Public archive
    Shell 1 Apache-2.0 6 1 0 Updated Jul 17, 2023
  • .allstar Public archive
    0 0 0 0 Updated Dec 6, 2022
  • .github Public archive
    0 0 0 0 Updated Oct 26, 2022
  • silveroak Public archive

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

    Coq 124 Apache-2.0 20 34 3 Updated May 19, 2022
View all repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.