jamii / didaLinks
Differential dataflow for mere mortals
☆522Updated 3 years ago
Alternatives and similar repositories for dida
Users that are interested in dida are comparing it to the libraries listed below
Sorting:
- An implementation of differential dataflow using timely dataflow on Rust.☆171Updated last week
- Various experiments in relational programming☆272Updated 3 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,436Updated last year
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆618Updated 2 years ago
- A reactive query engine built on differential dataflow.☆320Updated 5 years ago
- Streaming and Incremental Computation Framework☆239Updated 2 years ago
- a datalog interpreter in typescript☆210Updated 5 months ago
- A static web application to explore and animate a TLA+ state graph.☆198Updated last year
- A lightweight Datalog engine in Rust☆826Updated 3 years ago
- This library provides an implementation of the DBSP language for incremental streaming computations.☆129Updated 4 months ago
- Standard ML interpreter, with relational extensions, implemented in Java☆332Updated 2 weeks ago
- Black-box transactional safety checker based on cycle detection☆667Updated last month
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆493Updated 7 months ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,743Updated this week
- The practical relational programing language for data-oriented applications☆204Updated 2 years ago
- A model checker for implementing distributed systems.☆1,664Updated last month
- self adjusting computations in rust