A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.
☆22Jun 26, 2026Updated 2 months ago
Alternatives and similar repositories for specl
Users that are interested in specl 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 formatter for TLA+ specs☆15Updated this week
- Tutorial on modeling with TLA+☆24Updated this week
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- agentic skills to write TLA+ specs or TLAPS proofs☆20Jul 11, 2026Updated 2 months ago
- Erlang Sandboxing for Reliable and Scalable Concurrency Testing☆25Nov 28, 2019Updated 6 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.
- Run TLC in cmd☆15Jan 20, 2026Updated 7 months ago
- Some experiments in making exercises for teaching TLA+☆21May 7, 2025Updated last year
- A collaborative bibliography of papers related to property-based testing☆31Aug 20, 2026Updated 3 weeks ago
- Simple command-line client for the (now defunct) Hakka Logs web service, written in Go.☆13Apr 13, 2015Updated 11 years ago
- OpenDST - Deterministic Simulation Testing for Java☆23Jul 16, 2026Updated 2 months ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- TLA+ model checking guided testing for distributed systems☆20Feb 12, 2024Updated 2 years ago
- ☆71Updated this week
- APALACHE: symbolic model checker for TLA+ and Quint☆599Updated this week
- 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.
- [NDSS'24] MOCK: Optimizing Kernel Fuzzing Mutation with Context-aware Dependency☆24Dec 21, 2024Updated last year
- A repository for sharing agent capabilities and expertise related to TLA+.☆37Feb 4, 2026Updated 7 months ago
- Proving a blocking queue deadlock free in a dozen different ways☆45Apr 22, 2026Updated 4 months ago
- Custom Linux scheduler for concurrency fuzzing written in Java with hello-ebpf☆38Sep 7, 2026Updated last week
- The most advanced, lightweight, and undetectable C++ open-source utility client base for Minecraft. Built with ImGui and modular architec…☆25Mar 21, 2026Updated 5 months ago
- Pluscal/TLA+ modeling of distributed systems/protocols☆84Oct 21, 2023Updated 2 years ago
- Personal reading list/reference re: TLA+☆90Feb 13, 2018Updated 8 years ago
- ☆11Nov 14, 2021Updated 4 years ago
- In-memory key-value store for testing applications against weak behaviors of a database.☆11Feb 4, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An Android soft keyboard using Morse code.☆15Jun 22, 2013Updated 13 years ago
- A method for training neural networks that are provably robust to adversarial attacks. [IJCAI 2019]☆10Sep 3, 2019Updated 7 years ago
- Repository of the Haskell Blog☆19Aug 31, 2026Updated 2 weeks ago
- A Python library for setting up Mongo documents for testing☆19Apr 26, 2017Updated 9 years ago
- Implementation of an efficient thread-safe global Symbol Table, with garbage collection☆20Mar 2, 2025Updated last year
- 💅 A component library based on ShadCN and Tailwind CSS. Built with Basecoat CSS.☆17Updated this week
- ☆15Mar 25, 2026Updated 5 months ago
- ☆15May 2, 2016Updated 10 years ago
- query, compare, matching engine: lightweight JSON / BSON processor☆25Jan 5, 2026Updated 8 months 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.
- Mostly Automated Proof Repair for Verified Libraries☆16Jun 1, 2023Updated 3 years ago
- SRI Sally: A model checker for infinite-state systems.☆79Jul 31, 2025Updated last year
- A high-performance, persisted Key-Value storage based on C++20 and io_uring☆32Jul 19, 2026Updated 2 months ago
- Demo SoC☆10Oct 17, 2023Updated 2 years ago
- The source code for isitdown.site web application.☆13Jun 12, 2022Updated 4 years ago
- OmniFlix inSync for communities & DAOs☆10Aug 1, 2025Updated last year
- Topochecker, a topological model checker☆22Nov 19, 2019Updated 6 years ago