project-oak/transparent-release project-oak/transparent-release

  • This repository has been archived on 10/Apr/2024
  • Stars
    star
    24
  • Rank 986,245 (Top 20 %)
  • Language
    Go
  • License
    Apache License 2.0
  • Created almost 3 years ago
  • Updated 11 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
project-oak/transparent-release
github

project-oak

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Making transparency normal!

More Repositories

1

oak

Meaningful control of data in distributed systems.
Rust
1,275
star
2

rust-verification-tools

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Rust
273
star
3

silveroak

Formal specification and verification of hardware, especially for security and privacy.
Coq
123
star
4

tink-rust

Rust port of Tink cryptography library
Rust
81
star
5

hafnium-verification

OCaml
29
star
6

arcsjs-core

JavaScript
13
star
7

oak-enclave

Shell
9
star
8

arcsjs-chromium

JavaScript
7
star
9

arcsjs-provable

Rust
3
star
10

wasm-shared-buffers

Rust
3
star
11

hello-transparent-release

Shell
1
star