Alternatives and similar repositories for oak

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

• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆419Updated 2 years ago
• google / asylo
  An open and flexible framework for developing enclave applications
  ☆981Updated 3 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 7 months ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,769Updated 6 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,076Updated 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,350Updated last week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,056Updated 8 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,472Updated 2 years ago
• google / trillian
  A transparent, highly scalable and cryptographically verifiable data store.
  ☆3,691Updated 2 weeks ago
• mit-plv / fiat-crypto
  Cryptographic Primitive Code Generation by Fiat
  ☆800Updated this week
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆199Updated 10 months ago
• openenclave / openenclave
  SDK for developing enclaves
  ☆1,177Updated 2 months ago
• StanfordSNR / gg
  The Stanford Builder
  ☆989Updated 2 years ago
• hydro-project / hydro
  A Rust framework for correct and performant distributed systems
  ☆1,150Updated this week
• Munksgaard / session-types
  ☆578Updated 2 years ago
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆811Updated last week
• eclipse-biscuit / biscuit
  delegated, decentralized, capabilities based authorization token
  ☆1,081Updated 3 months ago
• lemmy / BlockingQueue
  Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!
  ☆501Updated last year
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,898Updated 2 months ago
• apalache-mc / apalache
  APALACHE: symbolic model checker for TLA+ and Quint
  ☆523Updated this week
• rust-crdt / rust-crdt
  a collection of well-tested, serializable CRDTs for Rust
  ☆1,505Updated last year
• seeker89 / unikernels
  State of the art for unikernels
  ☆221Updated last year
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆622Updated 3 years ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,860Updated this week
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆686Updated last month
• gramineproject / graphene
  Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
  ☆783Updated 4 years ago
• tokio-rs / turmoil
  Add hardship to your tests
  ☆1,110Updated 2 weeks ago
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆859Updated last month
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,898Updated 2 years ago
• fortanix / rust-sgx
  The Fortanix Rust Enclave Development Platform
  ☆480Updated this week