wgolab / WatCAView external linksLinks
The Waterloo Consistency Analyzer
☆15Oct 19, 2020Updated 5 years ago
Alternatives and similar repositories for WatCA
Users that are interested in WatCA are comparing it to the libraries listed below
Sorting:
- some quantile algorithm implementaton for stream data☆12Jul 24, 2018Updated 7 years ago
- (getting to be a) hard to kill scalable linearizabe store☆79Jan 19, 2016Updated 10 years ago
- Simple cron command entry parser☆11Apr 16, 2018Updated 7 years ago
- Cloudformation template for deploying Presto on AWS☆13Jul 20, 2020Updated 5 years ago
- Typeset version of Chuck Moore's book: "Programming a Problem-Oriented-Language"☆13Oct 1, 2014Updated 11 years ago
- Convenience wrapper over Apache Milagro☆12Apr 28, 2022Updated 3 years ago
- a PostgreSQL extension that allows you to set quotas on connections (per user, database or IP)☆13Dec 12, 2014Updated 11 years ago
- asyncio client tools for Kubernetes☆11May 19, 2023Updated 2 years ago
- ☆11Jul 6, 2022Updated 3 years ago
- SecretsFoundry is a package to automatically fetch your environment variables from different sources and secret managers. It makes config…☆14Jun 18, 2024Updated last year
- notes, config, tools, etc. for kicking the tires on cockroachdb☆11Apr 8, 2025Updated 10 months ago
- Regular expression derivatives and DFAs☆12Dec 26, 2023Updated 2 years ago
- Incremental View Maintenance support for DuckDB☆15Oct 24, 2023Updated 2 years ago
- Repository for the Tandem Vim Plugin☆12Mar 15, 2018Updated 7 years ago
- ☆12Aug 14, 2025Updated 5 months ago
- EXPERIMENTAL PROTOTYPE code for "Bolt-on Causal Consistency" appearing in SIGMOD 2013☆12Nov 2, 2013Updated 12 years ago
- ☆12Nov 5, 2019Updated 6 years ago
- ☆12Dec 14, 2019Updated 6 years ago
- An async allocator with Fun™️ unsafe Rust☆17Jun 4, 2023Updated 2 years ago
- Threshold encryption☆12Jan 18, 2022Updated 4 years ago
- BufReader adapter for nom parsers☆11Mar 19, 2023Updated 2 years ago
- LaTeX source of journal paper: Martin Kleppmann and Alastair R. Beresford. A Conflict-Free Replicated JSON Datatype. IEEE Transactions on…☆12Aug 15, 2017Updated 8 years ago
- force immediate garbage collection of an object☆36Jan 29, 2011Updated 15 years ago
- Low-latency Overlog runtime☆18Jun 2, 2015Updated 10 years ago
- ☆14Mar 13, 2024Updated last year
- Merge geographic route networks☆18Oct 7, 2025Updated 4 months ago
- pin-safe interior mutability☆14Jan 30, 2022Updated 4 years ago
- Extracts data from the Network Rail (NR) National Electronic Sectional Appendix data☆11May 19, 2024Updated last year
- Experiment data, materials, and analysis scripts for the paper "HindSight: Encouraging Exploration through Direct Encoding of Personal In…☆14Oct 24, 2016Updated 9 years ago
- An implementation of TinyLFU cache☆15Oct 10, 2022Updated 3 years ago
- ☆16Dec 8, 2016Updated 9 years ago
- Shy is a framework automatically generating Object Algebras Queries and Transformations based on generic OA Interfaces.☆11May 7, 2015Updated 10 years ago
- experimenting with CRDTs in erlang☆32Mar 13, 2015Updated 10 years ago
- An ORC reader for Rust☆12Feb 6, 2023Updated 3 years ago
- A forward-secure append-only persistent authenticated data structure☆16Jul 5, 2016Updated 9 years ago
- Demo re-implementation of the Hadoop MapReduce scheduler in Python☆13Mar 1, 2016Updated 9 years ago
- RADclock - A feed-forward NTP clock.☆18Dec 7, 2012Updated 13 years ago
- A Lua Z80 dynamic (binary) translator (similar to a JIT compiler) which translates Z80 to Lua and runs the result.☆17Oct 21, 2018Updated 7 years ago
- Debianization of lxd to get rid of snap☆12Apr 2, 2024Updated last year