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?☆99Updated 4 years ago
- ☆53Updated last month
- Brzozowski derivative python sketch☆85Updated 5 months ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A general purpose relational language☆19Updated 5 years ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆19Updated last year
- 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
- Run erlang as a WASI http server (vapourware)☆27Updated 10 months ago
- Various implementation of byte matrix multiplication☆26Updated 8 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆86Updated 5 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆137Updated 8 months ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- PostgreSQL Prolog language handler☆134Updated last year
- Finite state machines as graphs☆60Updated 5 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆38Updated last month
- Multi-Array Queue program codes☆76Updated 4 months ago
- Particle Syntax Website☆16Updated last year
- The Directed Acyclic Graph Elevation Markup Language☆74Updated 5 months ago
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆16Updated 9 years ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- A bibliography for protocol design☆42Updated 5 months ago
- Trealla Prolog embedded in Go using WASM☆80Updated 2 weeks ago
- Fun with wgpu: Simulating slime mold☆24Updated last year
- The Coil Programming Language☆33Updated last year
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 9 months ago
- A script for running TLA+/TLC from the command line☆81Updated 4 years ago