Alternatives and similar repositories for oak

Users that are interested in oak are comparing it to the libraries listed below

• google / asylo
  An open and flexible framework for developing enclave applications
  ☆977Updated 3 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,701Updated last month
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆417Updated last year
• google / mundane
  Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
  ☆1,074Updated 2 years ago
• CEA-LIST / Cingulata
  Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…
  ☆407Updated 3 months ago
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,309Updated last week
• openenclave / openenclave
  SDK for developing enclaves
  ☆1,152Updated 3 weeks ago
• google / trillian
  A transparent, highly scalable and cryptographically verifiable data store.
  ☆3,646Updated last week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆197Updated 6 months ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• fortanix / rust-sgx
  The Fortanix Rust Enclave Development Platform
  ☆466Updated this week
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆1,004Updated this week
• eclipse-biscuit / biscuit
  delegated, decentralized, capabilities based authorization token
  ☆1,051Updated last week
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,875Updated 2 years ago
• zerotier / lf
  Fully Decentralized Fully Replicated Key/Value Store
  ☆892Updated 2 years ago
• vmware-archive / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,452Updated 2 years ago
• mit-plv / fiat-crypto
  Cryptographic Primitive Code Generation by Fiat
  ☆776Updated last week
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆671Updated 4 months ago
• StanfordSNR / gg
  The Stanford Builder
  ☆986Updated 2 years ago
• gramineproject / graphene
  Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
  ☆782Updated 3 years ago
• apache / teaclave-sgx-sdk
  Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SD…
  ☆1,208Updated 3 weeks ago
• twitter / rezolus
  Systems performance telemetry
  ☆1,585Updated 2 years ago
• faasm / faasm
  High-performance stateful serverless runtime based on WebAssembly
  ☆909Updated 4 months ago
• enarx / enarx
  Enarx: Confidential Computing with WebAssembly
  ☆1,387Updated 2 weeks ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,825Updated this week
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆630Updated last week
• Munksgaard / session-types
  ☆574Updated 2 years ago
• rust-crdt / rust-crdt
  a collection of well-tested, serializable CRDTs for Rust
  ☆1,475Updated last year
• seeker89 / unikernels
  State of the art for unikernels
  ☆219Updated last year
• exein-io / pulsar
  A modular and blazing fast runtime security tool for the IoT, powered by eBPF.
  ☆973Updated last month