A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers in each datacenter.
☆77May 18, 2017Updated 8 years ago
Alternatives and similar repositories for eiger
Users that are interested in eiger are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Lamport and Vector clocks☆12Sep 10, 2015Updated 10 years ago
- ☆27Dec 10, 2015Updated 10 years ago
- A Global Name Service for a Highly Mobile and Secure Internetwork☆11Aug 2, 2019Updated 6 years ago
- Implementation of Lamport Clock in Java☆12Aug 3, 2018Updated 7 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 years ago
- ☆13Jan 16, 2019Updated 7 years ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Feb 23, 2026Updated last month
- Relcast library☆17Feb 7, 2023Updated 3 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 6 years ago
- A Merkle Tree implementation in Erlang☆21Apr 23, 2021Updated 4 years ago
- A few thought experiments solidified as code.☆22Mar 14, 2026Updated last week
- Forge Elixir SDK☆20Mar 30, 2020Updated 5 years ago
- Server Wide Clocks for Distributed Eventually Consistent Systems☆48Nov 22, 2016Updated 9 years ago
- Logical clocks implementation in Rust☆45Oct 26, 2019Updated 6 years ago
- A re-impementation of some com.google.protobuf classes in Scala☆12Updated this week
- Smart contract hacking challenge introduced in my talk at DEFCON 28 - Blockchain Village☆23Aug 13, 2021Updated 4 years ago
- Serialization framework for Rust☆23Apr 29, 2022Updated 3 years ago
- A Behavior Driven Development tool for PHP☆26Oct 13, 2013Updated 12 years ago
- redis-cluster library for Crystal☆14Oct 28, 2025Updated 4 months ago
- ☆54Jun 15, 2017Updated 8 years ago
- Admin API for erldns.☆28Apr 11, 2025Updated 11 months ago
- Parser for Cassandra Logs☆13Mar 23, 2016Updated 9 years ago
- Erlang bindings to llvm-c☆23Mar 13, 2012Updated 14 years ago
- MySQL/MariaDB binlog replication client for Rust☆30Jul 13, 2023Updated 2 years ago
- Neutron plugins for Ironic/Neutron integration. Mirror of code maintained at opendev.org.☆10Updated this week
- ☆11Apr 17, 2021Updated 4 years ago
- Quick manipulation of structured data for data analysis.☆25Aug 15, 2017Updated 8 years ago
- This is a Coq formalization of Damas-Milner type system and its algorithm W.☆29Jul 4, 2020Updated 5 years ago
- Testing effects of the Go CPU profiler on microbenchmarks☆13Aug 31, 2022Updated 3 years ago
- My first Pony app - multi-user telnet-based chat☆13Jul 9, 2017Updated 8 years ago
- A Logical Clock for Static and Dynamic Systems☆161Mar 12, 2018Updated 8 years ago
- A CDC library in Rust.☆25Feb 17, 2024Updated 2 years ago
- Varys: Efficient Clairvoyant Coflow Scheduler☆35Aug 6, 2015Updated 10 years ago
- A project to implement Augmented Time☆50May 2, 2014Updated 11 years ago
- Protobuf/gRPC schemas for the Hyperdrive API☆14Jul 14, 2020Updated 5 years ago
- Grab a URL from a IPFS path by using URL.createObjectURL☆12May 1, 2025Updated 10 months ago
- A C++ Networking Library implementing protocols for HTTP, (Not implemented: FTP, (E)SMTP, IMAP, POP3...)☆20Feb 7, 2014Updated 12 years ago