Tests with PlusCal / TLA+
☆27Jan 12, 2017Updated 9 years ago
Alternatives and similar repositories for pluscal
Users that are interested in pluscal are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pluscal/TLA+ modeling of distributed systems/protocols☆84Oct 21, 2023Updated 3 years ago
- Very small examples of TLA+ features.☆42Apr 14, 2019Updated 7 years ago
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 4 years ago
- Specs and models for solving the DeadlockEmpire problems using TLA+ and TLC☆22Apr 11, 2019Updated 7 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆14May 22, 2016Updated 10 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.
- ☆18Oct 2, 2017Updated 9 years ago
- A modern specification language and model checker for concurrent and distributed systems. Faster than TLA+/TLC.☆23Jun 26, 2026Updated 4 months ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Feb 5, 2013Updated 13 years ago
- Nsolv - A front-end that allows multiple SMTLIBv2 compliant solvers to executed in parallel.☆11Dec 7, 2012Updated 13 years ago
- Generates loop invariants for program verification☆65Jan 22, 2021Updated 5 years ago
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆507Apr 22, 2026Updated 6 months ago
- Django-React starter with Docker support for fast and easy web development.☆15Sep 2, 2025Updated last year
- A code-generator written in Perl 6 for compiling Perl 6 code to the LLVM.☆13Oct 21, 2010Updated 16 years ago
- AI Developer Plugin for Eclipse☆15May 17, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Bolts: Stainless Verified Scala Examples☆30Aug 31, 2026Updated last month
- Jaspersoft Studio 报表开发工具汉化包☆10Dec 18, 2017Updated 8 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆102Jul 26, 2024Updated 2 years ago
- IC3PO: IC3 for Proving Protocol Properties☆29Sep 10, 2024Updated 2 years ago
- UDP large file transfer protocol and kernel code in java.☆11Feb 23, 2014Updated 12 years ago
- Dynamic structured values for Rust☆32Aug 31, 2026Updated last month
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- A Framework for building Distributed Consensus Protocols☆10Oct 13, 2017Updated 9 years ago
- ☆10Oct 21, 2026Updated last week
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Algebraic graphs for Elm☆12Jul 20, 2019Updated 7 years ago
- A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)☆20Aug 12, 2019Updated 7 years ago
- A collection of TLA⁺ specifications of varying complexities.☆1,595Updated this week
- A Rust Implementation of AMF (Action Media Format)☆12May 21, 2026Updated 5 months ago
- TLA+ specification for the Raft consensus algorithm☆528Feb 18, 2025Updated last year
- An example TLA+ specification for a simple "raft style" leader election protocol☆10Oct 7, 2022Updated 4 years ago
- Experimental implementation of C++ 20 `<latch>` over System API (N4835)☆12Aug 2, 2020Updated 6 years ago
- Program logic for developing and verifying distributed systems☆39Apr 29, 2026Updated 6 months ago
- Sundial: A distributed OLTP database testbed.☆39Sep 25, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- TASTy Migration Manager☆14Oct 9, 2025Updated last year
- A snapshot state wrapper for the Jetpack Datastore library.☆13Jun 7, 2023Updated 3 years ago
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Aug 7, 2026Updated 2 months ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- ☆13Jun 18, 2026Updated 4 months ago
- TLA+ Spec of a simplified part of MongoDB replication system☆49Nov 23, 2019Updated 6 years ago
- Yet Another Classical planning plan validator written in modern Common Lisp☆14Nov 9, 2021Updated 4 years ago