Alternatives and similar repositories for oak:

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

• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,601Updated 3 months ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆413Updated last year
• google / asylo
  An open and flexible framework for developing enclave applications
  ☆975Updated 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 11 months ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,818Updated last year
• tokio-rs / turmoil
  Add hardship to your tests
  ☆857Updated 2 weeks ago
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,223Updated 2 weeks ago
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,050Updated 7 years ago
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,710Updated this week
• google / trillian
  A transparent, highly scalable and cryptographically verifiable data store.
  ☆3,585Updated this week
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,621Updated 4 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,070Updated last year
• nanovms / nanos
  A kernel designed to run one and only one application in a virtualized environment
  ☆2,687Updated last week
• openenclave / openenclave
  SDK for developing enclaves
  ☆1,080Updated this week
• apache / incubator-teaclave
  Apache Teaclave (incubating) is an open source universal secure computing platform, making computation on privacy-sensitive data safe and…
  ☆768Updated last year
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆561Updated 2 years ago
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆601Updated 2 years ago
• gramineproject / gramine
  A library OS for Linux multi-process applications, with Intel SGX support
  ☆630Updated this week
• StanfordSNR / gg
  The Stanford Builder
  ☆988Updated last year
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,279Updated this week
• facebookexperimental / reverie
  An ergonomic and safe syscall interception framework for Linux.
  ☆577Updated 2 weeks ago
• firecracker-microvm / firecracker-containerd
  firecracker-containerd enables containerd to manage containers as Firecracker microVMs
  ☆2,248Updated 2 weeks ago
• informalsystems / quint
  An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
  ☆850Updated this week
• nanovms / ops
  ops - build and run nanos unikernels
  ☆1,315Updated this week
• vmware / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,389Updated last year
• nebulet / nebulet
  A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
  ☆2,339Updated last year
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆192Updated 8 months ago
• zboxfs / zbox
  Zero-details, privacy-focused in-app file system.
  ☆1,544Updated last year
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆538Updated 2 years ago
• mirage / mirage
  MirageOS is a library operating system that constructs unikernels
  ☆2,601Updated last week