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.
  ☆416Updated last year
• google / asylo
  An open and flexible framework for developing enclave applications
  ☆975Updated 3 years 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 last year
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,665Updated last month
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,276Updated last week
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,055Updated 8 years ago
• google / trillian
  A transparent, highly scalable and cryptographically verifiable data store.
  ☆3,626Updated last week
• twitter / rezolus
  Systems performance telemetry
  ☆1,582Updated 2 years ago
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,751Updated this week
• 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 2 weeks ago
• pornin / CTTK
  Constant-Time Toolkit
  ☆296Updated 6 years ago
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,851Updated 2 years ago
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆196Updated 3 months ago
• cloudflare / wirefilter
  An execution engine for Wireshark-like filters
  ☆1,002Updated this week
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆575Updated 2 years ago
• bytecodealliance / lucet
  Lucet, the Sandboxing WebAssembly Compiler.
  ☆4,051Updated 3 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,438Updated last year
• hydro-project / hydro
  A high-level distributed programming framework for Rust
  ☆926Updated this week
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆826Updated 3 years ago
• foniod / redbpf
  Rust library for building and running BPF/eBPF modules
  ☆1,717Updated last year
• cetic / unikernels
  Unikernel and immutable infrastructures
  ☆609Updated 3 years ago
• Munksgaard / session-types
  ☆568Updated 2 years ago
• krustlet / krustlet
  Kubernetes Rust Kubelet
  ☆3,591Updated last year
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆541Updated 2 years ago
• cswinter / LocustDB
  Blazingly fast analytics database that will rapidly devour all of your data.
  ☆1,635Updated 3 weeks ago
• penberg / manticore
  Manticore is a research operating system, written in Rust.
  ☆293Updated last year
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,796Updated this week
• enarx / enarx
  Enarx: Confidential Computing with WebAssembly
  ☆1,371Updated 2 months ago
• bytecodealliance / cranelift
  Cranelift code generator
  ☆2,497Updated 5 years ago
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆668Updated last month