An Implementation of Interval Tree Clock
☆60Oct 20, 2020Updated 5 years ago
Alternatives and similar repositories for itc4j
Users that are interested in itc4j are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …☆79May 18, 2017Updated 9 years ago
- Reference implementations of state-based CRDTs that offer deltas for all mutations.☆346Dec 13, 2023Updated 2 years ago
- An example project for a terminal app with mouse support☆19Mar 11, 2024Updated 2 years ago
- Some basic but difficult to implement mathmatical functions☆21Feb 1, 2021Updated 5 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 8 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.
- A computational model for insanely complex functions☆41May 13, 2012Updated 14 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Jan 8, 2014Updated 12 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- Aurinko - a document database engine implementation in Clojure☆59Oct 29, 2012Updated 13 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Take two readable streams and return a readable stream with the xor of the two input chunks☆10May 31, 2020Updated 6 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 3 months ago
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Jul 23, 2018Updated 7 years ago
- A Simple Lisp that compiles to Go☆13Feb 2, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Prototype implementation of Lasp in Erlang.☆895Mar 2, 2021Updated 5 years ago
- ☆27Dec 10, 2015Updated 10 years ago
- Latr: Lazy Translation Coherence - ASPLOS'18☆15Nov 15, 2021Updated 4 years ago
- A node option parser that sings!☆24Jul 26, 2020Updated 5 years ago
- clojurescript on exponent! with figwheel☆12Apr 23, 2016Updated 10 years ago
- A vagrant devbox built with packer and ansible☆11Aug 18, 2016Updated 9 years ago
- Key-value store over twitter user feeds☆13May 12, 2016Updated 10 years ago
- Automatic configuration of bootstrap classpath for Java, Groovy and Kotlin.☆27Sep 11, 2023Updated 2 years ago
- Get the union of two sorted streams☆28Mar 9, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Array quantization and compression☆14Dec 8, 2023Updated 2 years ago
- Serve web sites on Scuttlebot☆11Jan 11, 2019Updated 7 years ago
- An open source deep research clone. AI Agent (Local LLM or Gemini) that reasons large amounts of web data extracted with SwiftSoup.☆13Feb 10, 2025Updated last year
- Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020☆23Apr 12, 2024Updated 2 years ago
- Declarative case conversion for Clojure.☆25Aug 4, 2022Updated 3 years ago
- (Summed) Merklized Binary Radix Tree library☆17Oct 10, 2016Updated 9 years ago
- ☆11Nov 4, 2023Updated 2 years ago
- A git extension that archives and restores branches☆17Mar 22, 2011Updated 15 years ago
- Clojure utility functions that come up time and again while developing clojure software☆29May 17, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tools to do fun things with ubiquity gear☆19Nov 9, 2022Updated 3 years ago
- ☆10Jun 3, 2016Updated 10 years ago
- Highly secure second factor auth by screaming at your computer.☆18Dec 28, 2019Updated 6 years ago
- Interval Tree Clocks: A Logical Clock for Dynamic Systems☆40Nov 3, 2014Updated 11 years ago
- Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.☆132Mar 5, 2026Updated 4 months ago
- Easily aggregate accounting and snapshot usage reporting across multiple foundations☆11Jun 12, 2026Updated 3 weeks ago
- homebrew epsxe☆14Jul 4, 2017Updated 9 years ago