sinabz / itc4jLinks
An Implementation of Interval Tree Clock
☆60Updated 5 years ago
Alternatives and similar repositories for itc4j
Users that are interested in itc4j are comparing it to the libraries listed below
Sorting:
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 years ago
- An implementation of LDFI☆128Updated 7 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- Offline serializability verification, in Clojure☆67Updated 8 years ago
- ☆27Updated 9 years ago
- Bloofi: A java implementation of multidimensional Bloom filters☆83Updated 4 months ago
- A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …☆77Updated 8 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- A scalable, fast, consistent graph store☆213Updated 9 years ago
- Embeddable multi-Paxos For The JVM☆77Updated 11 months ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆333Updated last year
- Server-managed CRDTs based on Akka☆225Updated 9 years ago
- Verifies the linearizability of experimentally accessible histories.☆412Updated last month
- The Capsule Hash Trie Collections Library☆411Updated 2 months ago
- DataLog meets NoSql☆63Updated 2 years ago
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- A conflict-free replicated JSON datatype (CRDT) in Scala☆298Updated 4 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 5 years ago
- Programming Models and Languages for Distributed Computation☆239Updated 7 years ago
- Logical Clocks for Eventually Consistent Systems☆364Updated 7 years ago
- The Chronos versioning project aims to provide easy-to-use and reliable versioned data storage.☆52Updated 5 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆75Updated 2 years ago
- The DB that's replicated, sharded and transactional.☆174Updated 10 years ago
- Concurrent TreeMap w/ efficient support for clone() and consistent iteration☆151Updated 13 years ago
- Syllabus and materials for a graduate distributed systems seminar, with a focus on storage systems and programming models☆51Updated 8 years ago
- Consus is a geo-replicated transactional key-value store.☆227Updated 7 years ago