The command-line frontend to transactional consistency checkers for black-box databases
☆32Jan 6, 2026Updated 3 months ago
Alternatives and similar repositories for elle-cli
Users that are interested in elle-cli are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- TTY interface for browser local usage of xterm.js.☆12Mar 15, 2024Updated 2 years ago
- ☆23Feb 18, 2025Updated last year
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆25Jun 5, 2024Updated last year
- Automated testing tool to find logic bugs in graph database systems☆21Oct 31, 2023Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An easy-to-use object-oriented system for the C programming language☆13Sep 7, 2018Updated 7 years ago
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated 8 months ago
- A bunch of sample gba games showcasing various graphical features of the gba.☆14Jul 2, 2019Updated 6 years ago
- A verifier for automated and interactive proofs about transition systems.☆220Mar 30, 2026Updated last week
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆72Sep 2, 2020Updated 5 years ago
- Black-box transactional safety checker based on cycle detection☆691Mar 9, 2026Updated last month
- Distributed transaction manager☆26Nov 18, 2015Updated 10 years ago
- MariaDB QA (mariadb-qa)☆14Updated this week
- PlusCal Cheat Sheet by Stephan Merz☆27Sep 27, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- 🐳🐡 docker-machine driver plugin for vmm (native OpenBSD hypervisor)☆24Dec 22, 2018Updated 7 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Nov 16, 2025Updated 4 months ago
- Don't let *them* read your mail. Encrypt it now.☆18Jun 13, 2018Updated 7 years ago
- A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter☆48Jun 19, 2025Updated 9 months ago
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Jun 23, 2020Updated 5 years ago
- Coveraged-based fuzzer for finding DBMS logical bugs☆64Oct 28, 2022Updated 3 years ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆24Aug 11, 2020Updated 5 years ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Mar 16, 2024Updated 2 years ago
- ☆11Oct 21, 2024Updated last year
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Jupyter kernel for TLA⁺☆120Sep 12, 2022Updated 3 years ago
- Graphviz for Kotlin Multiplatform☆12Mar 26, 2024Updated 2 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- 🗿 SAT solver wrappers for Kotlin☆11Mar 2, 2024Updated 2 years ago
- [READ ONLY MIRROR] Network Block Storage server, written in Rust. Supports pluggable and chainable underlying storage☆15Jul 29, 2022Updated 3 years ago
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- ☆27Jan 27, 2017Updated 9 years ago
- The SQL link in your *NIX chain☆22Feb 28, 2013Updated 13 years ago
- Coq library and tactic for deciding Kleene algebras [maintainer=@tchajed]☆25Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Reproduce a Java 21 virtual threads deadlock scenario in TLA+☆10Aug 2, 2024Updated last year
- Library of simd functions☆19Jul 24, 2025Updated 8 months ago
- FPGA-based HyperLogLog Accelerator☆12Jul 13, 2020Updated 5 years ago
- Running Minecraft servers in Kubernetes☆10Oct 22, 2023Updated 2 years ago
- Tool to visualize executions of multi-threaded systems☆13Jun 1, 2020Updated 5 years ago
- A basic repository for a Clang-based tool, with CMake integration.☆10Sep 22, 2023Updated 2 years ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago