The command-line frontend to transactional consistency checkers for black-box databases
☆34Oct 16, 2026Updated 2 weeks 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:
- This repository has been archived. See https://github.com/chaos-mesh/go-sqlancer for the new version☆12May 12, 2020Updated 6 years ago
- Differential fuzzer for testing different versions of the Kotlin compiler☆12Aug 7, 2023Updated 3 years ago
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated 2 years ago
- Black-box transactional safety checker based on cycle detection☆711Oct 16, 2026Updated 2 weeks ago
- ☆12May 25, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- TLA+ modules to model message-passing with different guarantees (reliable, duplicating, out-of-order, at-least-once), and create visualiz…☆11Apr 20, 2021Updated 5 years ago
- Representation and Incremental Processing of RDF Data☆10Nov 28, 2024Updated last year
- Library of simd functions☆19Jun 13, 2026Updated 4 months ago
- MariaDB QA (mariadb-qa)☆14Updated this week
- A formal specification of snapshot isolation.☆20Jul 17, 2025Updated last year
- A toolchain for automatically detecting, reporting, and diagnosing performance bugs in DBMSs.☆74Sep 2, 2020Updated 6 years ago
- Monarch: A Fuzzing Framework for Distributed File Systems (ATC'24)☆26Jun 5, 2024Updated 2 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 4 years ago
- Experiments with eBPF bytecode☆16Jul 17, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- A TLA+ module for animating TLC traces.☆50Dec 9, 2024Updated last year
- Distributed transaction manager☆26Nov 18, 2015Updated 10 years ago
- A contention-free STM hash map for Haskell☆14Oct 30, 2021Updated 5 years ago
- ProB 2.0☆11Jul 19, 2019Updated 7 years ago
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Datatype-generic object-oriented transformations for OCaml☆17Aug 29, 2026Updated 2 months ago
- ☆10Jan 9, 2025Updated last year
- ☆13Oct 15, 2026Updated 2 weeks ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 9 months ago
- A fuzzing framework for finding transactional bugs in DBMSs☆56Jun 4, 2023Updated 3 years ago
- Call c from clojure using graalvm -- then compile a binary using native-image!☆20Jun 23, 2020Updated 6 years ago
- C-to-Rust translation using LLMs☆14Updated this week
- A simple REPL for TLA+.☆42Mar 15, 2024Updated 2 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆12Feb 4, 2021Updated 5 years ago
- ☆10Oct 1, 2026Updated last month
- Jupyter kernel for TLA⁺☆122Sep 12, 2022Updated 4 years ago
- A library for describing Haskell data types and obtain free generators, JSON codecs, pretty printers, etc.☆22Mar 22, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Model Checking for Industrial Programmers with TLA+☆19May 22, 2026Updated 5 months ago
- ☆13Apr 10, 2025Updated last year
- Rust library implementing the Toorani-Beheshti signcryption scheme☆13Aug 15, 2023Updated 3 years ago
- PlusCal Cheat Sheet by Stephan Merz☆33Sep 27, 2024Updated 2 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 4 years ago
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- DataFusion executor in PostgreSQL☆10Jun 30, 2026Updated 4 months ago