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 …☆78May 18, 2017Updated 9 years ago
- Private microbenchmarks☆14Apr 13, 2018Updated 8 years ago
- Embeddable JavaScript Virtual Machine interface for Android, powered by Duktape.☆22Dec 28, 2020Updated 5 years ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆11Nov 2, 2013Updated 12 years ago
- JavaScript implementation of Radul and Sussman's Propagator model☆15Jan 8, 2014Updated 12 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Almost backwards compatible alternative to Clojure 1.8.0 implementation of multimethods with roughly 1/10 the method lookup cost.☆14Aug 1, 2023Updated 3 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Sep 13, 2026Updated last month
- A Captcha Field for Django that uses images as puzzles that humans must arrange correctly to validate the field.☆19Aug 25, 2016Updated 10 years ago
- An implementation of a truly relational database language with Python. Inspired by Date and Darwen's 'Third Manifesto'.☆10Jul 23, 2018Updated 8 years ago
- A Simple Lisp that compiles to Go☆13Feb 2, 2021Updated 5 years ago
- Attempt to use reagent+clojurescript with react-native for android☆10Sep 19, 2015Updated 11 years ago
- Coq definitions and lemmas for verification of Casper☆19Aug 15, 2019Updated 7 years ago
- ☆26Dec 10, 2015Updated 10 years ago
- Automatic configuration of bootstrap classpath for Java, Groovy and Kotlin.☆27Sep 11, 2023Updated 3 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.
- prototype example for a streaming database views☆15Mar 11, 2016Updated 10 years ago
- peer to peer replication for hyperlog using files you can send around on a USB stick☆14Feb 19, 2019Updated 7 years ago
- A vagrant devbox built with packer and ansible☆11Aug 18, 2016Updated 10 years ago
- EVE Online tools and datasets☆14Updated this week
- An entitity database for scuttlebot applications.☆16May 10, 2016Updated 10 years ago
- Machine learning method based on a bag of key poses model and temporal alignment☆21Jan 23, 2015Updated 11 years ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Nov 25, 2021Updated 4 years ago
- ☆11Nov 4, 2023Updated 2 years ago
- Per-target CPPCheck for CMake☆18May 30, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- The input password that you allways want to use in your apps with sign in process now is real with Web Components☆22Jan 6, 2020Updated 6 years ago
- Prangster tool from the Black Hat USA 2013 presentation "Black-Box Assessment of Pseudorandom Algorithms" by Derek Soeder, Christopher Ab…☆11Jul 9, 2014Updated 12 years ago
- Files for the tutorial "Correct-by-construction programming in Agda" at POPL '19 in Cascais☆25Jan 14, 2019Updated 7 years ago
- Run same command in multiple emacs eshell terminals☆14Jan 8, 2021Updated 5 years ago
- API to create common message types☆15Jan 11, 2019Updated 7 years ago
- ☆10Aug 25, 2020Updated 6 years ago
- Cache Oblivious Lookahead Arrays☆27Jul 20, 2013Updated 13 years ago
- Another high-level API for creating secondary leveldb indexes☆14Jul 17, 2020Updated 6 years ago
- Same as sqlite-tag but without the native sqlite3 module dependency☆19Feb 21, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Library which contains several time-dependent data and index structures (e.g., IntervalTree, BucketTimeSeries), as well as algorithms.☆132Sep 20, 2026Updated 3 weeks ago
- ☆45Mar 8, 2025Updated last year
- Library for managing concurrent effects using generators.☆36May 23, 2023Updated 3 years ago
- Remember the songs you heard and analyse your listening patterns☆16Sep 15, 2024Updated 2 years ago
- Pronounced: chaos☆18Oct 22, 2019Updated 6 years ago
- Measuring and Profiling performance for Clojure Apps from the Repl☆20Mar 6, 2017Updated 9 years ago
- A curated list of awesome Rust code and resources.☆10Aug 28, 2018Updated 8 years ago