Some experiments in making exercises for teaching TLA+
☆20May 7, 2025Updated last year
Alternatives and similar repositories for tlaplus-exercises
Users that are interested in tlaplus-exercises are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tool for automatically inferring inductive invariants of distributed protocols.☆23Jan 19, 2026Updated 5 months ago
- Simple Structured logger☆14Jun 8, 2025Updated last year
- Tools for conformance monitoring on Kubernetes with TLA+☆23Jun 26, 2024Updated 2 years ago
- Reading the linearizability paper with TLA+☆53Apr 24, 2022Updated 4 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Oct 7, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Replicated State Library. RSL is the Azure Paxos implementation which is used by multiple products in Azure and Bing. It provides the tra…☆86Mar 28, 2023Updated 3 years ago
- A tree-sitter grammar for TLA⁺ and PlusCal☆76Feb 17, 2026Updated 4 months ago
- Don't let *them* read your mail. Encrypt it now.☆18Jun 13, 2018Updated 8 years ago
- OpenJDK disassembler plugin for HotSpot JVM (based on binutils)☆10Sep 17, 2014Updated 11 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆16Dec 16, 2024Updated last year
- TLA+ specification of the Ceph consensus algorithm☆24Jun 19, 2022Updated 4 years ago
- Generate a sound set using Amazon Polly☆10Jul 25, 2024Updated last year
- implement similar functionalities using different java concurrency utilities and compare the performance☆13Dec 7, 2016Updated 9 years ago
- Servant client generators for the Python language☆17Mar 2, 2021Updated 5 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.
- Linearizability Visualizer☆10Jan 24, 2015Updated 11 years ago
- Matrix builds for cabal☆18Jun 8, 2026Updated 3 weeks ago
- Elixir inspired async actor library for Rust☆22Nov 24, 2025Updated 7 months ago
- An example of integration and end2end testing of a rust microservice☆11Aug 10, 2020Updated 5 years ago
- ☆11Jun 4, 2021Updated 5 years ago
- Fuse is a statically typed, purely functional language with higher-kinded types and ad-hoc polymorphism. It compiles to the GRIN whole-pr…☆17May 16, 2026Updated last month
- Running Minecraft servers in Kubernetes☆10Oct 22, 2023Updated 2 years ago
- Orthic shorthand resources☆13Feb 21, 2026Updated 4 months ago
- TLA+ specs and models for the TezEdge node's p2p overlay network, shell, and consensus☆22Dec 14, 2021Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- A collection of useful TLA+ operators☆21Feb 15, 2018Updated 8 years ago
- GHC plugin for automatic case splitting☆19May 13, 2026Updated last month
- MCP server for lethain:systems Python library☆14Aug 17, 2025Updated 10 months ago
- The source code for isitdown.site web application.☆13Jun 12, 2022Updated 4 years ago
- TLAi+ Benchmarks☆35Feb 6, 2026Updated 4 months ago
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 10 years ago
- Backup from the Samsung NX300M using scp☆13Jul 7, 2016Updated 9 years ago
- type-safe exceptions for Python 👷☆31Mar 2, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A graduate course on distributed systems☆17Jul 17, 2022Updated 3 years ago
- Intellij plugin for TLA+ formal specification language.☆61Apr 30, 2025Updated last year
- Line Hyper-eXpander, a sed/awk-like text processing tool with a human face :)☆15Feb 10, 2026Updated 4 months ago
- Run TLC in cmd☆15Jan 20, 2026Updated 5 months ago
- Standardized conversion between string types☆21Mar 4, 2022Updated 4 years ago
- TLA+ specifications of various protocols used by wallets in the nitro protocol.☆18Jun 12, 2020Updated 6 years ago
- ☆24Jun 22, 2026Updated last week