EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013
☆12Nov 2, 2013Updated 12 years ago
Alternatives and similar repositories for bolton-sigmod2013-code
Users that are interested in bolton-sigmod2013-code are comparing it to the libraries listed below
Sorting:
- ☆27Dec 10, 2015Updated 10 years ago
- The Llunatic Mapping and Cleaning Chase Engine☆37Jan 12, 2024Updated 2 years ago
- Code for "Scalable Atomic Visibility with RAMP Transactions" in SIGMOD 2014☆71Jan 23, 2015Updated 11 years ago
- A research fork of cassandra that provides causal+ consistency, read-only transaction, and write-only transaction across all the servers …☆77May 18, 2017Updated 8 years ago
- A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]☆32Dec 30, 2023Updated 2 years ago
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- ☆10Oct 11, 2022Updated 3 years ago
- An instructional website with progressively worked examples of TLA+ specifications and model checking.☆46Jul 7, 2022Updated 3 years ago
- CMDBAC - Carnegie Mellon Database Application Catalog☆36Oct 6, 2021Updated 4 years ago
- [TPAMI-2018] A C++ framework for training/testing Support Vector Machine with Gaussian Sample Uncertainty (SVM-GSU).☆13Feb 20, 2018Updated 8 years ago
- WSDM 2021 Tutorial on Advances in Bias-aware Recommendation on the Web☆11Mar 8, 2021Updated 4 years ago
- MS Marco Entity Annotations Disambiguation☆13May 19, 2023Updated 2 years ago
- ☆12Nov 22, 2024Updated last year
- demo apps for ripple☆12Aug 23, 2011Updated 14 years ago
- A polystore database from researchers of the Intel Science and Technology Center for Big Data☆39Oct 4, 2022Updated 3 years ago
- Typeset version of Chuck Moore's book: "Programming a Problem-Oriented-Language"☆13Oct 1, 2014Updated 11 years ago
- Fluorite: Apache Calcite trace analyzer☆12Apr 15, 2019Updated 6 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- ☆11Mar 3, 2021Updated 5 years ago
- Winning data science solution for Energy Hack NL 2018. Sonnet: forecasting station load caused by solar panels.☆11May 28, 2018Updated 7 years ago
- ☆12Aug 14, 2025Updated 6 months ago
- Wrapper around HTML 5 localStorage, get latest version from the releases folder☆13May 2, 2014Updated 11 years ago
- Masters of the Heist. A cooperative game for the tabletop.☆10Nov 13, 2022Updated 3 years ago
- Scripts for scraping metadata from Academia.edu and migrating publications into Zenodo.org via its REST API☆12Jan 25, 2017Updated 9 years ago
- Knowledge graph Entity and Word Embeddings for Retrieval☆11Nov 19, 2021Updated 4 years ago
- ☆10Aug 15, 2017Updated 8 years ago
- ☆11Jul 6, 2022Updated 3 years ago
- DebugIt: Use specialization so you can debug-print a value without explicit (and viral) Debug trait bound. (Not really maintained. Uses …☆10Nov 27, 2021Updated 4 years ago
- A GitHub action to run hadolint and reports violations given a Dockerfile within a repository☆13Feb 23, 2024Updated 2 years ago
- An SQL interface for AntidoteDB☆13Mar 18, 2018Updated 7 years ago
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- A collection of practice exams for exams in core curriculum CS courses at RIT.☆15Dec 2, 2018Updated 7 years ago
- Data Integration In Real-Time☆11Sep 8, 2022Updated 3 years ago
- LockJar manages Java Jars for Ruby☆45May 4, 2016Updated 9 years ago
- Simple cron command entry parser☆11Apr 16, 2018Updated 7 years ago
- Integrate a Npm application with Play framework☆10Oct 4, 2019Updated 6 years ago
- The ANTLR 4 Website☆16Aug 3, 2024Updated last year
- Lightweight, configurable plugin system for Go apps☆11Mar 14, 2016Updated 9 years ago
- Implementation of Lamport Clock in Java☆11Aug 3, 2018Updated 7 years ago