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
  ☆980Updated 3 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,734Updated 4 months ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆418Updated 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…
  ☆406Updated 5 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
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,327Updated last week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆198Updated 8 months ago
• StanfordSNR / gg
  The Stanford Builder
  ☆987Updated 2 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆679Updated last month
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆1,067Updated this week
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆497Updated last year
• openenclave / openenclave
  SDK for developing enclaves
  ☆1,166Updated 2 weeks 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,465Updated 2 years ago
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆792Updated last month
• tokio-rs / turmoil
  Add hardship to your tests
  ☆1,079Updated 2 weeks ago
• frankmcsherry / blog
  Some notes on things I find interesting and important.
  ☆2,090Updated last week
• google / trillian
  A transparent, highly scalable and cryptographically verifiable data store.
  ☆3,666Updated last week
• exein-io / pulsar
  A modular and blazing fast runtime security tool for the IoT, powered by eBPF.
  ☆987Updated last month
• enarx / enarx
  Enarx: Confidential Computing with WebAssembly
  ☆1,398Updated last week
• fortanix / rust-sgx
  The Fortanix Rust Enclave Development Platform
  ☆474Updated this week
• facebookresearch / asynchronousratchetingtree
  On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees
  ☆269Updated 4 years ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,848Updated this week
• gramineproject / graphene
  Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
  ☆782Updated 4 years ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,880Updated 2 years ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,863Updated this week
• Munksgaard / session-types
  ☆577Updated 2 years ago
• cryptosubtlety / intuitive-advanced-cryptography
  Intuitive Advanced Cryptography
  ☆436Updated 3 years ago
• nelhage / llama
  ☆606Updated last year
• zerotier / lf
  Fully Decentralized Fully Replicated Key/Value Store
  ☆896Updated 2 years ago