The command-line frontend to transactional consistency checkers for black-box databases
☆31Jan 6, 2026Updated last month
Alternatives and similar repositories for elle-cli
Users that are interested in elle-cli are comparing it to the libraries listed below
Sorting:
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 5 years ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- ☆11Mar 3, 2021Updated 4 years ago
- TTY interface for browser local usage of xterm.js.☆12Mar 15, 2024Updated last year
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated 7 months ago
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Jun 23, 2020Updated 5 years ago
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆21Jun 5, 2024Updated last year
- ☆22Feb 18, 2025Updated last year
- Automated testing tool to find logic bugs in graph database systems☆19Oct 31, 2023Updated 2 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 3 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- OpenBSD cu(1) for Linux☆25Feb 25, 2023Updated 3 years ago
- 🐳🐡 docker-machine driver plugin for vmm (native OpenBSD hypervisor)☆24Dec 22, 2018Updated 7 years ago
- Coveraged-based fuzzer for finding DBMS logical bugs☆63Oct 28, 2022Updated 3 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Mar 16, 2024Updated last year
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Aug 11, 2020Updated 5 years ago
- Black-box transactional safety checker based on cycle detection☆688Dec 13, 2025Updated 2 months ago
- kernel normal form formatter☆31Updated this week
- Jupyter kernel for TLA⁺☆120Sep 12, 2022Updated 3 years ago
- QueryFuzz implements a metamorphic testing approach to test Datalog engines.☆36Jun 8, 2021Updated 4 years ago
- ☆11Nov 4, 2025Updated 3 months ago
- A toolkit for testing TiDB☆139Feb 25, 2023Updated 3 years ago
- 下载豆瓣电子书☆10Apr 25, 2017Updated 8 years ago
- An ANSI C library to parse and create PROXY protocol v1 and v2 headers☆13Apr 4, 2025Updated 10 months ago
- PostgreSQL code dump from SQL Queries For Mere Mortals 4th Ed☆14Apr 21, 2019Updated 6 years ago
- X utilities in POSIX shell scripts.☆13Dec 20, 2021Updated 4 years ago
- A Compiler and Runtime System for Deterministic Multithreaded Execution☆11Jun 11, 2015Updated 10 years ago
- FIX/FAST decode/encode facility☆17Mar 5, 2017Updated 8 years ago
- [READ ONLY MIRROR] Network Block Storage server, written in Rust. Supports pluggable and chainable underlying storage☆15Jul 29, 2022Updated 3 years ago
- JavaScript Embedded Web Server☆19Sep 10, 2012Updated 13 years ago
- ☆10Apr 9, 2015Updated 10 years ago
- ☆14Aug 20, 2024Updated last year
- LLVM Version Manager☆11Apr 21, 2017Updated 8 years ago
- Relation algebra library for Coq☆50Feb 17, 2026Updated last week
- Online Viewer for GitHub Full Longest Streak.☆12Nov 22, 2018Updated 7 years ago
- Play with CRIU in vagrant, all automated.☆10Oct 11, 2015Updated 10 years ago
- Tool and library for generating X.509 certificates and certificate requests (mirror)☆16Oct 13, 2021Updated 4 years ago
- A Lua client for memcached, with optional non-blocking mode.☆23Jul 1, 2012Updated 13 years ago
- Produce subroutine call graphs (Static code analysis) for your perl scripts using GraphViz☆14Feb 14, 2018Updated 8 years ago