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
- Latr: Lazy Translation Coherence - ASPLOS'18☆17Nov 15, 2021Updated 4 years ago
- S-Store Transactional Streaming Data Management System☆22Jul 25, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆13Jan 16, 2019Updated 7 years ago
- Simple fault-tolerant distributed file system. 1. Utilize virtual ring style key-value store with 3 backups. 2. Automated failure detecti…☆17Jan 22, 2016Updated 10 years ago
- ☆11Apr 3, 2026Updated 3 weeks ago
- Integrating the CAP theorem into distributed language design.☆13Nov 21, 2018Updated 7 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 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 5 years ago
- A JavaScript assembler and simulator for the P3 CPU.☆13Aug 14, 2020Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Forge Elixir SDK☆20Mar 30, 2020Updated 6 years ago
- Server Wide Clocks for Distributed Eventually Consistent Systems☆48Nov 22, 2016Updated 9 years ago
- Benchmarks of artificial neural network library for Spark MLlib☆11Dec 3, 2015Updated 10 years ago
- An Elastic, Tiered-Storage Service☆30Nov 13, 2018Updated 7 years ago
- Immutable/persistent functional data structures for C++11☆10Mar 20, 2019Updated 7 years ago
- Logical clocks implementation in Rust☆45Oct 26, 2019Updated 6 years ago
- Asynchronous job and file i/o management for containers☆15Dec 9, 2022Updated 3 years ago
- Smart contract hacking challenge introduced in my talk at DEFCON 28 - Blockchain Village☆23Aug 13, 2021Updated 4 years ago
- Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020☆23Apr 12, 2024Updated 2 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆10Nov 4, 2023Updated 2 years ago
- Supervised Session Actors☆22Jul 6, 2016Updated 9 years ago
- My solutions for the Advent of Code in NodeJS / Bun☆13Dec 15, 2025Updated 4 months ago
- Per-target CPPCheck for CMake☆18May 30, 2016Updated 9 years ago
- Code used for the yearly calculations of CO2e from Bitcoin mining☆19Jun 24, 2018Updated 7 years ago
- ☆54Jun 15, 2017Updated 8 years ago
- Parser for Cassandra Logs☆13Mar 23, 2016Updated 10 years ago
- Erlang bindings to llvm-c☆23Mar 13, 2012Updated 14 years ago
- Neutron plugins for Ironic/Neutron integration. Mirror of code maintained at opendev.org.☆10Apr 2, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- homebrew epsxe☆14Jul 4, 2017Updated 8 years ago
- Exemplar Meteor React Typescript application☆10Mar 6, 2017Updated 9 years ago
- Interstate Love Song is a Teradici broker☆12Mar 13, 2026Updated last month
- ☆13Sep 17, 2024Updated last year
- 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
- A Logical Clock for Static and Dynamic Systems☆161Mar 12, 2018Updated 8 years ago