Meaningful control of data in distributed systems.
☆1,455Mar 4, 2026Updated this week
Alternatives and similar repositories for oak
Users that are interested in oak are comparing it to the libraries listed below
Sorting:
- Highly-available Distributed Fault-tolerant Runtime☆2,900Apr 22, 2023Updated 2 years ago
- A model checker for implementing distributed systems.☆1,786Jul 27, 2025Updated 7 months ago
- A transparent, highly scalable and cryptographically verifiable data store.☆3,706Mar 2, 2026Updated last week
- The live data layer for apps and AI agents. Create up-to-the-second views into your business, just using SQL☆6,240Updated this week
- Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier …☆3,522Updated this week
- the champagne of beta embedded databases☆8,940Nov 4, 2025Updated 4 months ago
- Apache Teaclave™ is an open source universal secure computing platform, making computation on privacy-sensitive data safe and simple.☆795Sep 25, 2025Updated 5 months ago
- An open and flexible framework for developing enclave applications☆981Apr 12, 2022Updated 3 years ago
- The Fortanix Rust Enclave Development Platform☆482Updated this week
- Lucet, the Sandboxing WebAssembly Compiler.☆4,056Mar 23, 2022Updated 3 years ago
- An operating system designed for hosting containers☆9,544Feb 26, 2026Updated last week
- Fast web applications through dynamic, partially-stateful dataflow☆5,222Oct 30, 2021Updated 4 years ago
- Secure and fast microVMs for serverless computing.☆32,804Updated this week
- a smol tcp/ip stack☆4,364Updated this week
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,748Updated this week
- Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SD…☆1,223Sep 4, 2025Updated 6 months ago
- A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Li…☆5,347Mar 3, 2026Updated last week
- A modular implementation of timely dataflow in Rust☆3,585Updated this week
- A Rust framework for correct and performant distributed systems☆1,188Updated this week
- Concurrency permutation testing tool for Rust.☆2,616Feb 20, 2026Updated 2 weeks ago
- RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.☆279Feb 12, 2022Updated 4 years ago
- SDK for developing enclaves☆1,180Feb 24, 2026Updated last week
- A high-performance observability data pipeline.☆21,408Mar 3, 2026Updated last week
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,056May 23, 2017Updated 8 years ago
- Orchestrate end-to-end encryption, cryptographic identities, mutual authentication, and authorization policies between distributed applic…☆4,604Jan 4, 2026Updated 2 months ago
- Security-oriented protobuf-like serialization format with "Merkleized" content hashing support☆121Jan 17, 2023Updated 3 years ago
- simple CASPaxos implementation written in rust on top of a simulator for finding bugs quickly☆142Jul 11, 2020Updated 5 years ago
- Userspace WireGuard® Implementation in Rust☆6,923Jan 22, 2026Updated last month
- 🧑🔬 Operating system☆1,438Dec 15, 2025Updated 2 months ago
- Wrangling Untrusted File Formats Safely☆4,712Mar 2, 2026Updated last week
- Systems performance telemetry☆1,596May 1, 2023Updated 2 years ago
- A lightweight, memory-protected, message-passing kernel for deeply embedded systems.☆3,451Updated this week
- Rust library for building and running BPF/eBPF modules☆1,722Jun 30, 2023Updated 2 years ago
- Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust☆14,685Mar 2, 2026Updated last week
- Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utili…☆7,058Updated this week
- Lunatic is an Erlang-inspired runtime for WebAssembly☆4,845Mar 29, 2025Updated 11 months ago
- Making transparency normal!☆24Dec 18, 2023Updated 2 years ago
- A modern TLS library in Rust☆7,281Mar 2, 2026Updated last week
- A Rust implementation of the Noise Protocol Framework☆1,050Feb 3, 2026Updated last month