wgolab/WatCA external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

wgolab/WatCA

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/wgolab/WatCA)

Close

wgolab / WatCAView on GitHubMore

• External links
• Readme badge

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

• ahorn / linearizability-checker

  View on GitHub
  Fast linearizability checker
  ☆67Jun 16, 2015Updated 10 years ago
• mydotey / quantile-estimator

  View on GitHub
  some quantile algorithm implementaton for stream data
  ☆12Jul 24, 2018Updated 7 years ago
• spacejam / rasputin

  View on GitHub
  (getting to be a) hard to kill scalable linearizabe store
  ☆79Jan 19, 2016Updated 10 years ago
• shinobistack / gokakashi

  View on GitHub
  The Centralized Security Platform 🔍 🚀
  ☆12Aug 4, 2025Updated 7 months ago
• mwhittaker / linearizability

  View on GitHub
  Linearizability Visualizer
  ☆10Jan 24, 2015Updated 11 years ago
• btbytes / pol

  View on GitHub
  Typeset version of Chuck Moore's book: "Programming a Problem-Oriented-Language"
  ☆13Oct 1, 2014Updated 11 years ago
• aidanhs / rsroll

  View on GitHub
  ☆11Jul 6, 2022Updated 3 years ago
• tvondra / connection_limits

  View on GitHub
  a PostgreSQL extension that allows you to set quotas on connections (per user, database or IP)
  ☆13Dec 12, 2014Updated 11 years ago
• Maxxen / duckdb_tarfs

  View on GitHub
  ☆12Aug 26, 2024Updated last year
• komora-io / inline-array

  View on GitHub
  ☆12Aug 14, 2025Updated 6 months ago
• goffrie / redfa

  View on GitHub
  Regular expression derivatives and DFAs
  ☆12Dec 26, 2023Updated 2 years ago
• truefoundry / secretsfoundry

  View on GitHub
  SecretsFoundry is a package to automatically fetch your environment variables from different sources and secret managers. It makes config…
  ☆14Jun 18, 2024Updated last year
• ayrat555 / cronenberg

  View on GitHub
  Simple cron command entry parser
  ☆11Apr 16, 2018Updated 7 years ago
• tbarrella / aiok8s

  View on GitHub
  asyncio client tools for Kubernetes
  ☆11May 19, 2023Updated 2 years ago
• evanmiller / SlowerLogLog

  View on GitHub
  Like HyperLogLog, but slower 🛶
  ☆10Feb 5, 2020Updated 6 years ago
• lovesh / amcl_rust_wrapper

  View on GitHub
  Convenience wrapper over Apache Milagro
  ☆12Apr 28, 2022Updated 3 years ago
• cwida / ivm-extension

  View on GitHub
  Incremental View Maintenance support for DuckDB
  ☆16Oct 24, 2023Updated 2 years ago
• vinayak-mehta / mcp-sonic-pi

  View on GitHub
  MCP server for Sonic Pi
  ☆15Mar 22, 2025Updated 11 months ago
• barrel-platform / barrel

  View on GitHub
  ☆12Nov 5, 2019Updated 6 years ago
• oxidecomputer / cockroachdb-exploration

  View on GitHub
  notes, config, tools, etc. for kicking the tires on cockroachdb
  ☆11Apr 8, 2025Updated 10 months ago
• JPDSousa / AQL

  View on GitHub
  An SQL interface for AntidoteDB
  ☆13Mar 18, 2018Updated 7 years ago
• amosr / limp

  View on GitHub
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Nov 12, 2018Updated 7 years ago
• DRMacIver / each

  View on GitHub
  A small batch processing utlity
  ☆12Jan 21, 2022Updated 4 years ago
• anisotropi4 / nesa

  View on GitHub
  Extracts data from the Network Rail (NR) National Electronic Sectional Appendix data
  ☆11May 19, 2024Updated last year
• hypatia-hypervisor / hypatia

  View on GitHub
  The Hypatia Type-1 Hypervisor
  ☆13Jan 9, 2026Updated last month
• trvedata / json-crdt-tpds

  View on GitHub
  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
• bloom-lang / c4

  View on GitHub
  Low-latency Overlog runtime
  ☆18Jun 2, 2015Updated 10 years ago
• acharapko / fleetdb

  View on GitHub
  ☆12Dec 14, 2019Updated 6 years ago
• dignifiedquire / pin-cell

  View on GitHub
  pin-safe interior mutability
  ☆14Jan 30, 2022Updated 4 years ago
• carllerche / minidb

  View on GitHub
  ☆16Dec 8, 2016Updated 9 years ago
• tosc-rs / mnemos-alloc

  View on GitHub
  An async allocator with Fun™️ unsafe Rust
  ☆17Jun 4, 2023Updated 2 years ago
• banister / free

  View on GitHub
  force immediate garbage collection of an object
  ☆36Jan 29, 2011Updated 15 years ago
• ZeweiChu / Shy

  View on GitHub
  Shy is a framework automatically generating Object Algebras Queries and Transformations based on generic OA Interfaces.
  ☆11May 7, 2015Updated 10 years ago
• wpivis / hindsight

  View on GitHub
  Experiment data, materials, and analysis scripts for the paper "HindSight: Encouraging Exploration through Direct Encoding of Personal In…
  ☆14Oct 24, 2016Updated 9 years ago
• helium / erlang-tpke

  View on GitHub
  Threshold encryption
  ☆12Jan 18, 2022Updated 4 years ago
• selmeci / cascara

  View on GitHub
  An implementation of TinyLFU cache
  ☆15Oct 10, 2022Updated 3 years ago
• tomaka / libp2p-rs

  View on GitHub
  LibP2P networking library written in Rust
  ☆12Dec 29, 2021Updated 4 years ago
• sfackler / staged-builder

  View on GitHub
  ☆14Mar 13, 2024Updated last year
• oweno-tfwm / YA_Tiploc_List

  View on GitHub
  Yet another TIPLOC list
  ☆14Jun 13, 2024Updated last year