project-oak/wasm-shared-buffers project-oak/wasm-shared-buffers

  • This repository has been archived on 18/May/2023
  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Rust
  • License
    Apache License 2.0
  • Created about 3 years ago
  • Updated almost 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
project-oak/wasm-shared-buffers
github

project-oak

Reviews

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

Repository Details

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

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

hello-transparent-release

Shell
1
star