A demo of analyzing a TLA+ state graph
☆29Apr 7, 2023Updated 2 years ago
Alternatives and similar repositories for tla-graphing-demo
Users that are interested in tla-graphing-demo are comparing it to the libraries listed below
Sorting:
- WIP: Chronofold data structure in Purescript☆10Jun 24, 2021Updated 4 years ago
- TLA+ specifications and proofs of Logless Dynamic Reconfiguration in MongoDB Replication.☆15Dec 16, 2024Updated last year
- An android application that notifies and guides qualified users to provide medical assistance in the area.☆10Jun 13, 2022Updated 3 years ago
- A default template for building Elm SPA applications using Vite.☆15Jun 24, 2022Updated 3 years ago
- Some experiments in making exercises for teaching TLA+☆19May 7, 2025Updated 10 months ago
- A TLA+ specification of the Apache BookKeeper replication protocol☆105Mar 16, 2024Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆74Feb 5, 2023Updated 3 years ago
- A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN☆16Dec 28, 2025Updated 2 months ago
- The semantics of Java in K☆19Sep 15, 2021Updated 4 years ago
- A TLA+ module for animating TLC traces.☆47Dec 9, 2024Updated last year
- Specifying and Verifying CRDT Protocols using TLA+☆41Jun 24, 2021Updated 4 years ago
- TLA+ questions, answers, and experiments☆23Aug 30, 2022Updated 3 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆22Apr 17, 2023Updated 2 years ago
- Rewrites TLA⁺ specs to use Unicode symbols instead of ASCII, and vice-versa☆41Jul 22, 2025Updated 7 months ago
- TLA+ Foundation☆32Updated this week
- Compiler translating SQL view definitions into DBSP circuits (https://github.com/vmware/database-stream-processor)☆30Jun 10, 2023Updated 2 years ago
- Repository zum Buch "Machine Learning für Zeitreihen. Einstieg in Regressions-, ARIMA- und Deep Learning-Verfahren""☆11Jan 28, 2022Updated 4 years ago
- High-performance workflow platform for real-time data orchestration. Scalable by design, fault-tolerant by nature, and built for complex …☆31Updated this week
- A local first persistent log☆36Sep 14, 2025Updated 5 months ago
- Visual environment for manipulation the lambda calculus expressions☆69Updated this week
- SAM Library☆39Mar 4, 2023Updated 3 years ago
- Synchronous fault-tolerant distributed algorithms encoded in TLA+☆33Jan 18, 2021Updated 5 years ago
- mReasoner is a unified computational implementation of the model theory of thinking and reasoning☆13Aug 17, 2023Updated 2 years ago
- Resilient Virtual Machine Monitor is a complete fault tolerance solution for type-I hypervisors adopting one of the most popular VMM arch…☆11Jul 30, 2020Updated 5 years ago
- Virtual programming language☆10Dec 5, 2022Updated 3 years ago
- The TLA⁺ Proof Manager☆109Jan 15, 2026Updated last month
- A Common Controller Core Library for orchestrating an F5 BIG-IP☆12Dec 22, 2025Updated 2 months ago
- A select subset of shaders included in the GShade project modified for use with ReShade.☆13May 3, 2025Updated 10 months ago
- Website for LauzHack, EPFL's largest hackathon.☆12Feb 27, 2026Updated last week
- Official AYON<->Kitsu intetgration (WIP)☆12Updated this week
- ☆10Sep 10, 2023Updated 2 years ago
- Containerfile for the Vanilla OS Desktop+Nvidia image.☆16Mar 1, 2026Updated last week
- Security research organization dedicated to finding low hanging, critical, vulnerabilities.☆15May 12, 2022Updated 3 years ago
- Sandbox that demonstrates derivation of camera Log to Linear conversions, and an ACES IDT and ODT for Z-Log 2.☆10Nov 14, 2021Updated 4 years ago
- C4RepSet: Representative Subset from C4 data for Training Pre-trained LMs☆11Jan 13, 2023Updated 3 years ago
- A salesforce library designed to provide idiomatic clojure representations of salesforce data and metadata☆11Jan 14, 2020Updated 6 years ago
- Code that drives the public web-based tools for the Media Cloud Online News Archive and Directory.☆11Updated this week
- Wikimedia Enterprise - client SDK in Python☆20Nov 11, 2025Updated 3 months ago
- Arduino Code to control the LED strip on the NUC 11 extreme☆10Jul 2, 2023Updated 2 years ago