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☆75Updated 2 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
- ☆53Updated 4 years ago
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- formal tools for BPMN☆34Updated last month
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆77Updated last year
- A general purpose relational language☆19Updated 5 years ago
- Standard ML interpreter, with relational extensions, implemented in Java☆40Updated this week
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- A headless spreadsheet document container service.☆105Updated 5 months ago
- CHR2 to SQL conversion☆14Updated 9 years ago
- Finite state machines as graphs☆60Updated 5 years ago
- Brzozowski derivative python sketch☆85Updated 3 months ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Run erlang as a WASI http server (vapourware)☆27Updated 8 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- Various implementation of byte matrix multiplication☆26Updated 6 months ago
- A Bayesian based architecture to evaluate the optimal weights of different stocks in a portfolio according to Global Minimum Variance and…☆25Updated 2 years ago
- ☆58Updated 3 years ago
- PostgreSQL Prolog language handler☆134Updated last year
- Shorthand SQL/JDBC wrapper language, providing nested results as JSON and more☆33Updated 3 weeks ago
- An experiment in using DuckDB for a datalog / egg☆26Updated last year
- A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety☆15Updated 9 years ago
- A Prolog library to connect to PostgreSQL databases☆101Updated last year
- Alloy*---Higher Order Logic for Alloy☆36Updated 5 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 7 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆172Updated 2 weeks ago