Some experiments in making exercises for teaching TLA+
☆19May 7, 2025Updated 9 months ago
Alternatives and similar repositories for tlaplus-exercises
Users that are interested in tlaplus-exercises are comparing it to the libraries listed below
Sorting:
- Orthic shorthand resources☆13Feb 21, 2026Updated last week
- Reproduce a Java 21 virtual threads deadlock scenario in TLA+☆10Aug 2, 2024Updated last year
- Simple Structured logger☆14Jun 8, 2025Updated 8 months ago
- A TLA+ module for animating TLC traces.☆47Dec 9, 2024Updated last year
- Pythonista - Working Copy integration☆15Nov 8, 2017Updated 8 years ago
- Tools for conformance monitoring on Kubernetes with TLA+☆23Jun 26, 2024Updated last year
- Reading the linearizability paper with TLA+☆51Apr 24, 2022Updated 3 years ago
- A demo of analyzing a TLA+ state graph☆29Apr 7, 2023Updated 2 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- Custom home assistant integration for the Watts Vision Wireless Smart Home System☆20Dec 27, 2024Updated last year
- A repository containing all of my custom keyboards for iOS☆14Jan 2, 2021Updated 5 years ago
- ⌨️ \\ AutoHotkey macro for the game Mighty Omega on Roblox☆19Feb 16, 2025Updated last year
- Specula: A Framework for Synthesizing High-Quality TLA+ Specifications from Source Code☆90Updated this week
- In Spec We Trust☆42Jun 29, 2025Updated 8 months ago
- 13th Age system for Foundry VTT☆12Jan 20, 2026Updated last month
- A tutorial and trained model that can identify Aboriginal flags in images using PyTorch and Detecto☆11Oct 19, 2020Updated 5 years ago
- Notes and Resources for talk "Redesigning for Cognitive Ease"☆12Nov 15, 2024Updated last year
- ☆13Updated this week
- Small program to generate a Graphviz dot file to visualize a SQLite schema and foreign keys structure☆13Mar 6, 2017Updated 8 years ago
- Arduino Code to control the LED strip on the NUC 11 extreme☆10Jul 2, 2023Updated 2 years ago
- ZFS over iSCSI on FreeNAS 9.3 (API) from Proxmox☆13Aug 9, 2023Updated 2 years ago
- A server for the wonderful world of Gopher.☆12May 16, 2018Updated 7 years ago
- Named after Edwin Jarvis, this project acts as our personal butler, and is responsible for opening the door for us.☆18Aug 18, 2014Updated 11 years ago
- Collection of tools that helps one to use and exchange CIM based grid models (CIM16/CGMES) and market messages (IEC 62325)☆10Dec 7, 2025Updated 2 months ago
- qDesktopSearch - a Qt5 Desktop App for indexing & searching the files of the local machine☆10May 3, 2016Updated 9 years ago
- Interactive playground for exploring and sharing TLA+ specifications in the browser.☆187Jan 22, 2026Updated last month
- Web application to quickly and easily log your weightlifting sessions☆39Apr 28, 2016Updated 9 years ago
- TLA+ snippets, operators, and modules contributed and curated by the TLA+ community☆304Updated this week
- A graduate course on distributed systems☆11Jan 6, 2024Updated 2 years ago
- This is the companion repo for Ansible Succinctly by Zoran Maksimovic. Published by Syncfusion.☆12Aug 13, 2021Updated 4 years ago
- Minimal OpenD6 System Reference Document.☆14Jun 27, 2025Updated 8 months ago
- Jenkins plugin for AWS CodeDeploy☆15Oct 18, 2023Updated 2 years ago
- Versatile Quikscript reference.☆12Jan 31, 2024Updated 2 years ago
- Dynamic header hierarchy☆22Mar 29, 2012Updated 13 years ago
- ☆11Jun 3, 2018Updated 7 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- ☆12Oct 31, 2022Updated 3 years ago
- Use an Arduino with with USB HID support to control a project in Git☆13Jan 3, 2012Updated 14 years ago
- A language with tools to facilitate the study of Gregg Shorthand.☆14Updated this week