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:
- ☆27Updated 9 years ago
- Scala implementation of the Ctrie datastructure.☆175Updated 4 years ago
- Interposition code for DEMi (Distributed Execution Minimizer)☆90Updated 9 years ago
- An implementation of LDFI☆128Updated 6 years ago
- Interactive visualization framework for Runway models of distributed systems☆186Updated 3 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Updated 10 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
- Offline serializability verification, in Clojure☆67Updated 8 years ago
- Embeddable multi-Paxos For The JVM☆77Updated 10 months ago
- TLA+ specification of the Kafka replication protocol☆88Updated 5 years ago
- Artifact accompanying our OOPSLA'15 publication.☆33Updated 2 years ago
- Server-managed CRDTs based on Akka☆225Updated 9 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆331Updated last year
- A framework for building database systems by high-level programming, and getting really good performance nevertheless.☆138Updated 7 years ago
- A Logical Clock for Static and Dynamic Systems☆160Updated 7 years ago
- Compressed Hash-Array Mapped Prefix-tree (CHAMP) Implementation☆60Updated 8 years ago
- SPREAD☆18Updated 4 years ago
- A cache-coherent in-memory data grid☆341Updated 3 years ago
- Verifies the linearizability of experimentally accessible histories.☆411Updated last week
- The DB that's replicated, sharded and transactional.☆174Updated 10 years ago
- Sandbox for playing around with CRDTs☆30Updated 8 years ago
- A conflict-free replicated JSON datatype (CRDT) in Scala☆298Updated 4 years ago
- Container caplet☆35Updated 10 years ago
- Repository for Berkeley's class on Programming the Cloud☆60Updated 5 years ago
- Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distribute…☆74Updated 2 years ago
- A scalable, fast, consistent graph store☆213Updated 8 years ago
- Generic immutable recursive data representation API targeted at source code models and more.☆37Updated this week
- Programming Models and Languages for Distributed Computation☆239Updated 6 years ago
- Java Datalog Engine with Semi-Naive Evaluation and Stratified Negation☆81Updated 7 years ago