jamii / dida
Differential dataflow for mere mortals
☆516Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for dida
- An implementation of differential dataflow using timely dataflow on Rust.☆162Updated last week
- Various experiments in relational programming☆270Updated 2 years ago
- A reactive query engine built on differential dataflow.☆315Updated 4 years ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,381Updated last year
- Standard ML interpreter, with relational extensions, implemented in Java☆299Updated this week
- A lightweight Datalog engine in Rust☆801Updated 2 years ago
- 📝 Web-based, reactive Datalog notebooks for data analysis and visualization☆603Updated last year
- a datalog interpreter in typescript☆208Updated last month
- The practical relational programing language for data-oriented applications☆191Updated last year
- An implementation of differential dataflow using timely dataflow on Rust.☆2,586Updated last week
- A static web application to explore and animate a TLA+ state graph.☆197Updated last year
- Monorepo for the Hydro Project☆481Updated this week
- A strongly-typed document database that runs on any transactional key-value store.☆391Updated 2 years ago
- Authenticated multi-version database: sparse binary merkle tree with compact partial-tree proofs☆300Updated last year
- Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history!☆487Updated 3 weeks ago
- Streaming and Incremental Computation Framework☆225Updated last year
- This library provides an implementation of the DBSP language for incremental streaming computations.☆85Updated last week
- A model checker for implementing distributed systems.☆1,579Updated last month
- Black-box transactional safety checker based on cycle detection☆643Updated last month
- General-purpose abstractions for incremental computing, in Rust☆346Updated 2 years ago
- self adjusting computations in rust☆130Updated 3 years ago
- Time Series and FoundationDB. Millions of writes/s and 10x compression in under 2,000 lines of Go.☆509Updated 5 years ago
- Synthesize CRDTs from classic data types with verified lifting!☆143Updated 6 months ago
- 🌱 Grow delightful software☆249Updated 5 years ago
- Cell compiler☆114Updated last year
- Data interchange with algebraic data types.☆598Updated 2 months ago
- 🦾 Mech is a programming language for building data-driven systems like robots, games, and interfaces. Start here!☆209Updated this week
- Research on integrating datalog & lambda calculus via monotonicity types☆387Updated 2 years ago
- The secure data format for a modern world☆261Updated last year
- You might not need your garbage collector☆536Updated 4 years ago