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
  ☆979Updated 3 years ago
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,313Updated last month
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆418Updated 2 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,709Updated 2 months ago
• 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
• google / trillian
  A transparent, highly scalable and cryptographically verifiable data store.
  ☆3,648Updated last week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆198Updated 6 months 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 4 months ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,052Updated 8 years ago
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆1,046Updated this week
• nanovms / nanos
  A kernel designed to run one and only one application in a virtualized environment
  ☆2,983Updated last month
• openenclave / openenclave
  SDK for developing enclaves
  ☆1,161Updated last week
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆613Updated 3 years ago
• StanfordSNR / gg
  The Stanford Builder
  ☆986Updated 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,455Updated 2 years ago
• fortanix / rust-sgx
  The Fortanix Rust Enclave Development Platform
  ☆471Updated this week
• weaveworks / ignite
  Ignite a Firecracker microVM
  ☆3,513Updated last year
• enarx / enarx
  Enarx: Confidential Computing with WebAssembly
  ☆1,391Updated last month
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,872Updated 2 years ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,827Updated this week
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆674Updated 5 months ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,827Updated last week
• eclipse-biscuit / biscuit
  delegated, decentralized, capabilities based authorization token
  ☆1,053Updated last month
• zerotier / lf
  Fully Decentralized Fully Replicated Key/Value Store
  ☆895Updated 2 years ago
• frankmcsherry / blog
  Some notes on things I find interesting and important.
  ☆2,094Updated last week
• hermit-os / kernel
  A Rust-based, lightweight unikernel.
  ☆1,349Updated this week
• 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,209Updated last month
• twitter / rezolus
  Systems performance telemetry
  ☆1,587Updated 2 years ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆2,042Updated this week
• gramineproject / graphene
  Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
  ☆782Updated 4 years ago