hwayne / tla-graphing-demoLinks
A demo of analyzing a TLA+ state graph
☆29Updated 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:
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- ☆53Updated 2 months ago
- Finite state machines as graphs☆60Updated 5 years ago
- Sift is a basic, Relational Algebra based query engine built on top of Apache Arrow. It draws inspiration from Andy Grove's KQuery.☆22Updated 3 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆149Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆81Updated 2 weeks ago
- CHR2 to SQL conversion☆14Updated 10 years ago
- formal tools for BPMN☆34Updated 3 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆88Updated 5 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated 2 weeks ago
- Run erlang as a WASI http server (vapourware)☆27Updated 11 months ago
- Brzozowski derivative python sketch☆85Updated 6 months ago
- A general purpose relational language☆19Updated 5 years ago
- Zig library for HyperLogLog estimation☆89Updated last year
- Small, simple, expression-oriented programming language.☆28Updated last week
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆139Updated this week
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Prototype Mixed-consistency transaction implementation☆64Updated 7 years ago
- Getting started, manuals and tutorials☆55Updated last year
- a language for building system dynamic models☆167Updated this week
- Examples of Beads programs☆111Updated 4 months ago
- A probabilistic approximate DNF counter☆37Updated last month
- Trealla Prolog embedded in Go using WASM☆80Updated last month
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago
- A Prolog library to connect to PostgreSQL databases☆104Updated last year
- The Coil Programming Language☆33Updated last year
- Awesome datalog libraries, tools and resources☆64Updated 5 years ago