project-oak / oakLinks
Meaningful control of data in distributed systems.
☆1,412Updated last week
Alternatives and similar repositories for oak
Users that are interested in oak are comparing it to the libraries listed below
Sorting:
- An open and flexible framework for developing enclave applications☆978Updated 3 years ago
- A Rust library for lattice-based additive homomorphic encryption.☆418Updated 2 years ago
- Mundane is a Rust cryptography library backed by BoringSSL that is difficult to misuse, ergonomic, and performant (in that order).☆1,073Updated 2 years ago
- A model checker for implementing distributed systems.☆1,720Updated 3 months ago
- Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, n…☆1,318Updated last week
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,459Updated 2 years ago
- Cingulata (pronounced "tchingulata") is a compiler toolchain and RTE for running C++ programs over encrypted data by means of fully homom…☆407Updated 4 months ago
- writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+☆1,052Updated 8 years ago
- The Stanford Builder☆987Updated 2 years ago
- Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).☆198Updated 7 months ago
- A transparent, highly scalable and cryptographically verifiable data store.☆3,659Updated this week
- A Rust framework for correct and performant distributed systems☆1,065Updated this week
- SDK for developing enclaves☆1,163Updated last week
- An implementation of differential dataflow using timely dataflow on Rust.☆2,844Updated 2 weeks ago
- ☆576Updated 2 years ago
- Black-box transactional safety checker based on cycle detection☆676Updated 2 weeks ago
- a collection of well-tested, serializable CRDTs for Rust☆1,487Updated last year
- Hermit for Rust.☆1,838Updated this week
- The Fortanix Rust Enclave Development Platform☆474Updated this week
- Some notes on things I find interesting and important.☆2,090Updated this week
- Cryptographic Primitive Code Generation by Fiat☆779Updated last week
- Highly-available Distributed Fault-tolerant Runtime☆2,878Updated 2 years ago
- Apache Teaclave™ SGX SDK helps developers to write Intel SGX applications in the Rust programming language, and also known as Rust SGX SD…☆1,211Updated 2 months ago
- State of the art for unikernels☆221Updated last year
- Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support☆783Updated 4 years ago
- Unikernel and immutable infrastructures☆615Updated 3 years ago
- A lightweight Datalog engine in Rust☆843Updated 3 years ago
- Fully Decentralized Fully Replicated Key/Value Store☆895Updated 2 years ago
- delegated, decentralized, capabilities based authorization token☆1,063Updated 2 weeks ago
- Shuttle is a library for testing concurrent Rust code☆879Updated last week