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
  ☆976Updated 2 years ago
• stateright / stateright
  A model checker for implementing distributed systems.
  ☆1,612Updated 4 months ago
• facebookresearch / Cupcake
  A Rust library for lattice-based additive homomorphic encryption.
  ☆414Updated last year
• google / mundane
  Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).
  ☆1,071Updated last year
• vmware / differential-datalog
  DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…
  ☆1,398Updated last year
• 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 last year
• bastion-rs / bastion
  Highly-available Distributed Fault-tolerant Runtime
  ☆2,822Updated last year
• spacejam / tla-rust
  writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+
  ☆1,052Updated 7 years ago
• fortanix / rust-sgx
  The Fortanix Rust Enclave Development Platform
  ☆446Updated this week
• TimelyDataflow / differential-dataflow
  An implementation of differential dataflow using timely dataflow on Rust.
  ☆2,637Updated this week
• sdiehl / bulletproofs
  Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup
  ☆539Updated 2 years ago
• gramineproject / graphene
  Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
  ☆775Updated 3 years ago
• hydro-project / hydro
  A high-level distributed programming framework for Rust
  ☆833Updated this week
• biscuit-auth / biscuit
  delegated, decentralized, capabilities based authorization token
  ☆994Updated 2 months ago
• verus-lang / verus
  Verified Rust for low-level systems code
  ☆1,336Updated this week
• rust-lang / datafrog
  A lightweight Datalog engine in Rust
  ☆812Updated 3 years ago
• frankmcsherry / blog
  Some notes on things I find interesting and important.
  ☆1,981Updated last week
• mit-plv / fiat-crypto
  Cryptographic Primitive Code Generation by Fiat
  ☆738Updated this week
• jepsen-io / elle
  Black-box transactional safety checker based on cycle detection
  ☆651Updated 4 months ago
• rubrikinc / wachy
  A UI for eBPF-based performance debugging
  ☆561Updated 2 years ago
• cervus-v / cervus
  The Cervus Subsystem for Linux
  ☆729Updated 6 years ago
• veracruz-project / veracruz
  Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
  ☆194Updated 9 months ago
• openenclave / openenclave
  SDK for developing enclaves
  ☆1,090Updated this week
• hermit-os / hermit-rs
  Hermit for Rust.
  ☆1,735Updated this week
• facebookexperimental / hermit
  Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…
  ☆1,238Updated last week
• oconnor663 / bao
  an implementation of BLAKE3 verified streaming
  ☆500Updated 2 weeks ago
• TimelyDataflow / timely-dataflow
  A modular implementation of timely dataflow in Rust
  ☆3,366Updated this week
• oxidecomputer / humility
  Debugger for Hubris
  ☆538Updated 2 weeks ago
• google / fully-homomorphic-encryption
  An FHE compiler for C++
  ☆3,545Updated 5 months ago
• krustlet / krustlet
  Kubernetes Rust Kubelet
  ☆3,574Updated last year