@project-oak
Guthub

project-oak

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,841
  • Global Org. Rank 10,110 (Top 4 %)
  • Registered about 6 years ago
  • Most used languages
    Rust
         41.7 %
    Shell
         16.7 %
    JavaScript
         16.7 %
    Coq     8.3 %
    OCaml
         8.3 %
    Go
         8.3 %

Top 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

transparent-release

Making transparency normal!
Go
24
star
7

arcsjs-core

JavaScript
13
star
8

oak-enclave

Shell
9
star
9

arcsjs-chromium

JavaScript
7
star
10

arcsjs-provable

Rust
3
star
11

wasm-shared-buffers

Rust
3
star
12

hello-transparent-release

Shell
1
star