project-oak / oak
Meaningful control of data in distributed systems.
☆1,322Updated this week
Related projects ⓘ
Alternatives and complementary repositories for oak
- A model checker for implementing distributed systems.☆1,579Updated last month
- An open and flexible framework for developing enclave applications☆974Updated 2 years ago
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,072Updated last year
- Verified Rust for low-level systems code☆1,222Updated this week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,381Updated last year
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,043Updated 7 years ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,196Updated 2 weeks ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,586Updated last week
- Hermit for Rust.☆1,691Updated this week
- A Rust-based, lightweight unikernel.☆1,197Updated this week
- Monorepo for the Hydro Project☆481Updated this week
- A kernel designed to run one and only one application in a virtualized environment☆2,653Updated this week
- Add hardship to your tests☆790Updated last month
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- ☆556Updated last year
- Shuttle is a library for testing concurrent Rust code☆685Updated last month
- A static verifier for Rust, based on the Viper verification infrastructure.☆1,567Updated last month
- A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.☆2,334Updated last year
- The Stanford Builder☆991Updated last year
- A modular implementation of timely dataflow in Rust☆3,299Updated last week
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆404Updated 9 months ago
- Highly-available Distributed Fault-tolerant Runtime☆2,803Updated last year
- Black-box transactional safety checker based on cycle detection☆643Updated last month
- A transparent, highly scalable and cryptographically verifiable data store.☆3,554Updated this week
- SDK for developing enclaves☆1,069Updated this week
- a collection of well-tested, serializable CRDTs for Rust☆1,375Updated 5 months ago
- ☆594Updated last week
- Cranelift code generator☆2,488Updated 4 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆487Updated 3 weeks ago
- Apache Teaclave (incubating) SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as…☆1,173Updated last month