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
- 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
- What if Git worked with Programming Languages?☆99Updated 3 years ago
- An interactive Datalog☆47Updated last week
- ☆53Updated this week
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- Brzozowski derivative python sketch☆85Updated 4 months ago
- Finite state machines as graphs☆60Updated 5 years ago
- A general purpose relational language☆19Updated 5 years ago
- Typescript implementation of Relaxed Radix Balanced Trees☆18Updated 11 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated last year
- A Bayesian based architecture to evaluate the optimal weights of different stocks in a portfolio according to Global Minimum Variance and…☆25Updated 3 years ago
- A simple Web Assembly Interpreter☆16Updated last year
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆85Updated 5 years ago
- Glitch Grid is a toy distributed system for demonstrating how to integrate with the Antithesis Platform.☆37Updated last month
- CHR2 to SQL conversion☆14Updated 9 years ago
- ☆58Updated 3 years ago
- Ranked Programming Extension for Racket☆54Updated 5 years ago
- Beating the `bisect` module's implementation using C-extensions.☆30Updated 2 years ago
- Blech is a language for developing reactive, real-time critical embedded software.☆68Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆77Updated 2 years ago
- a very (x 10) basic wasm console☆21Updated last year
- Multi-Array Queue program codes☆76Updated 2 months ago
- Verified and Efficient Matching of Regular Expressions with Lookaround☆24Updated 8 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆117Updated 2 weeks ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- Various implementation of byte matrix multiplication☆26Updated 7 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- A learned index structure☆53Updated 4 years ago
- Zig library for HyperLogLog estimation☆89Updated last year