michaelzenz/jecci 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

michaelzenz/jecci

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/michaelzenz/jecci)

Close

michaelzenz / jecciView on GitHubMore

• External links
• Readme badge

Jepsen and Elle based Consistency Checking Interface

☆20Feb 3, 2022Updated 4 years ago

Alternatives and similar repositories for jecci

Users that are interested in jecci are comparing it to the libraries listed below

• PramodDutta / qaskills

  View on GitHub
  QA Skills Directory QA Skills is a curated directory of testing-specific skills for AI coding agents (Claude Code, Cursor, Copilot, etc.)…
  ☆72Feb 27, 2026Updated last week
• cwi-swat / tla-ci

  View on GitHub
  TLA+ specifications accompanying paper: Automated Validation of State-Based Client-Centric Isolation with TLA+. (https://doi.org/10.1007/…
  ☆27Feb 26, 2024Updated 2 years ago
• pramalhe / RedoDB

  View on GitHub
  The world's first wait-free KV store with generic durable linearizable transactions
  ☆41Feb 26, 2022Updated 4 years ago
• mfs409 / nonblocking

  View on GitHub
  Nonblocking data structures
  ☆12Jan 25, 2015Updated 11 years ago
• wuzhizhe / DownloadDoubanEbook

  View on GitHub
  下载豆瓣电子书
  ☆10Apr 25, 2017Updated 8 years ago
• uwsampa / coredet

  View on GitHub
  A Compiler and Runtime System for Deterministic Multithreaded Execution
  ☆11Jun 11, 2015Updated 10 years ago
• cue-sh / stax

  View on GitHub
  ☆15Sep 19, 2021Updated 4 years ago
• cwpearson / llvmvm

  View on GitHub
  LLVM Version Manager
  ☆11Apr 21, 2017Updated 8 years ago
• aliyun / kvc-3fs-operator

  View on GitHub
  ☆34Mar 1, 2026Updated last week
• jnguyen / SQL_Mortals

  View on GitHub
  PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed
  ☆14Apr 21, 2019Updated 6 years ago
• kirillrdy / nixos-installer

  View on GitHub
  ☆10May 28, 2025Updated 9 months ago
• yxymit / Sundial

  View on GitHub
  Sundial: A distributed OLTP database testbed.
  ☆39Sep 25, 2020Updated 5 years ago
• lemmy / ewd998

  View on GitHub
  Distributed termination detection on a ring, due to Shmuel Safra: https://www.cs.utexas.edu/users/EWD/ewd09xx/EWD998.PDF
  ☆42Apr 23, 2023Updated 2 years ago
• DBCobra / CobraHome

  View on GitHub
  ☆11Mar 3, 2021Updated 5 years ago
• ifellows / Deducer

  View on GitHub
  A data analysis GUI for R
  ☆11May 5, 2025Updated 10 months ago
• vvvlc / Funky-FOTA

  View on GitHub
  FOTA for Funky
  ☆10Jul 24, 2016Updated 9 years ago
• srikrsna / security-headers

  View on GitHub
  Go HTTP Middleware with dynamic CSP nonce and much more
  ☆16Aug 28, 2018Updated 7 years ago
• tlaplus / TLAiBench

  View on GitHub
  TLAi+ Benchmarks
  ☆28Feb 6, 2026Updated last month
• hectorcorrea / jaguarDb

  View on GitHub
  The simplest database for Node.js that could possible work.
  ☆12Apr 3, 2013Updated 12 years ago
• google / tcpgpudmarxd

  View on GitHub
  ☆11Feb 17, 2026Updated 2 weeks ago
• metacellar / salon

  View on GitHub
  salon for sharing thoughts and ideas
  ☆12Nov 11, 2021Updated 4 years ago
• CheckerNetwork / spark-checker

  View on GitHub
  💥 Storage Provider Retrieval Checker as a Checker Subnet
  ☆13Jan 6, 2026Updated 2 months ago
• vmware-archive / go-redis-pmem

  View on GitHub
  Go Version of Redis on PMEM
  ☆12Dec 20, 2021Updated 4 years ago
• wooorm / levenshtein

  View on GitHub
  Levenshtein algorithm CLI
  ☆11Jun 16, 2020Updated 5 years ago
• Fzkuji / swat-attention

  View on GitHub
  🚀 Sliding Window Attention Training for Efficient Large Language Models
  ☆16Dec 8, 2025Updated 3 months ago
• unibg-seclab / sesqlite

  View on GitHub
  ⨝ Mandatory Access Control for SQLite databases
  ☆15Oct 11, 2016Updated 9 years ago
• mattiash / docker-data

  View on GitHub
  Docker data container
  ☆11Aug 23, 2015Updated 10 years ago
• reqshark / nanomsg.iojs

  View on GitHub
  nanomsg for iojs a.k.a NodeJS https://github.com/nanomsg/nanomsg
  ☆10Jul 20, 2015Updated 10 years ago
• araij / gup

  View on GitHub
  Implementation of GuP [Arai+ SIGMOD'23]
  ☆10Jan 10, 2024Updated 2 years ago
• SJTU-IPADS / hackwrench

  View on GitHub
  ☆12Apr 26, 2023Updated 2 years ago
• hankjordan / devices

  View on GitHub
  A cross-platform library for retrieving information about connected devices.
  ☆11Sep 5, 2023Updated 2 years ago
• taiki-e / easytime

  View on GitHub
  Providing wrapper types for safely performing panic-free checked arithmetic on instants and durations.
  ☆17Updated this week
• contrun / infra

  View on GitHub
  ☆10Updated this week
• whmcs-smarters / ikev2

  View on GitHub
  Ikev2 VPN + Strongswan + FreeRadius Authentication
  ☆10Jan 7, 2020Updated 6 years ago
• pallas / ioucontext

  View on GitHub
  A coöperative multitasking framework based on `liburing` and `libucontext`
  ☆16Jan 2, 2026Updated 2 months ago
• hazelcast / big-data-benchmark

  View on GitHub
  ☆13Aug 22, 2025Updated 6 months ago
• edgar971 / image_to_text

  View on GitHub
  A simple web app to extract text found in the image.
  ☆10Jan 4, 2023Updated 3 years ago
• ScarletGuo / Bamboo-Public

  View on GitHub
  ☆16Apr 8, 2022Updated 3 years ago
• kpctoolboxteam / kpc-toolbox

  View on GitHub
  KPC-Toolbox: MATLAB toolbox to fit Markovian Arrival Processes
  ☆10Jun 12, 2025Updated 8 months ago