kaimast / credb
CreDB is an autonomous blockchain
☆1Updated 5 years ago
Related projects: ⓘ
- ☆12Updated 12 years ago
- Wren: Nonblocking Reads in a Partitioned Transactional Causally Consistent Data Store☆8Updated 6 years ago
- ☆28Updated 7 years ago
- Feed-forward Bloom filters☆52Updated 13 years ago
- Monomi designer and planner prototype☆14Updated 9 years ago
- The compiler for ObliVM☆63Updated 4 years ago
- Artifact for PPoPP'18☆17Updated 2 years ago
- Dependably fast multi-core in-memory transactions☆19Updated 7 years ago
- Stream processing engine☆12Updated 3 years ago
- ☆14Updated 6 years ago
- Geo-replicated CalvinDB(Include the original CalvinDB and low latency version)☆23Updated 4 years ago
- Rabia: Simplifying State-Machine Replication Through Randomization (SOSP 2021)☆38Updated last year
- ☆28Updated 5 years ago
- ☆14Updated 7 years ago
- DB for DAQ systems based on Persistent Memory and NVMe drives☆21Updated 4 years ago
- An Elastic, Tiered-Storage Service☆30Updated 5 years ago
- Tiny Transactions on Computer Systems (TinyToCS) Site☆32Updated 8 years ago
- Accurate and Fast Evaluation of Multi-Stage Log-Structured Designs☆10Updated 8 years ago
- Solitaire is a Faster Linearizability Checker Supporting Multiple Data Model☆17Updated 6 years ago
- TLA+ specification of Fast Flexible Paxos☆17Updated 3 years ago
- A Flexible Efficient Secure Computation Backend☆33Updated 6 years ago
- A persistent LSM key-value store. FloDB is designed to scale with the number of threads and memory size.☆26Updated 7 years ago
- An Oblivious General-Purpose SQL Database for the Cloud☆56Updated 4 years ago
- Transparent Paxos☆44Updated 5 years ago
- ☆12Updated 5 years ago
- Diamond reactive programming platform☆25Updated 2 years ago
- The Musketeer workflow manager.☆41Updated 5 years ago
- Raft Consensus Algorithm Implementation in C++ (11)☆25Updated 9 years ago
- A system for maintaining replicated state machines☆115Updated 7 years ago
- Transactional Data Structure Libraries☆12Updated 6 years ago