An implementation of differential dataflow using timely dataflow on Rust.
☆177Feb 25, 2026Updated last week
Alternatives and similar repositories for differential-dataflow
Users that are interested in differential-dataflow are comparing it to the libraries listed below
Sorting:
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,477Jul 7, 2023Updated 2 years ago
- An implementation of differential dataflow using timely dataflow on Rust.☆2,914Feb 25, 2026Updated last week
- A reactive query engine built on differential dataflow.☆324Jan 20, 2020Updated 6 years ago
- A modular implementation of timely dataflow in Rust☆3,583Updated this week
- Differential dataflow for mere mortals☆528Apr 14, 2022Updated 3 years ago
- Clojure(Script) client for Declarative Dataflow.☆332Nov 8, 2019Updated 6 years ago
- A lightweight Datalog engine in Rust☆861Dec 14, 2025Updated 2 months ago
- Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program f…☆1,056Dec 10, 2025Updated 2 months ago
- Some CRDT implementations in Datalog☆18Jul 20, 2018Updated 7 years ago
- Incremental Program Analysis Framework☆94May 7, 2021Updated 4 years ago
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- A category theory library built on top of Homotopy Type Theory, by Jason Gross☆26Jan 10, 2014Updated 12 years ago
- The collection of Context-Free Path Querying algorithms☆14Dec 16, 2025Updated 2 months ago
- Fast web applications through dynamic, partially-stateful dataflow☆5,220Oct 30, 2021Updated 4 years ago
- Engines, queries, and data for dynamic Datalog computation☆134Aug 4, 2021Updated 4 years ago
- High-throughput columnar serialization in Rust☆188Jan 17, 2026Updated last month
- A low-level, cross-platform port scanner and packet flooder written in Rust.☆13Mar 25, 2025Updated 11 months ago
- Two-Level Type Theory☆28Dec 13, 2019Updated 6 years ago
- A library for incremental computations☆967Jan 15, 2026Updated last month
- Autoregressive transformers in APL☆107Sep 3, 2025Updated 6 months ago
- An idiomatic Clojure interface to Apache CouchDB☆10Oct 27, 2023Updated 2 years ago
- threadstack, ergonomic library for thread local stacks☆11Mar 5, 2021Updated 4 years ago
- ☆10Sep 7, 2022Updated 3 years ago
- Tiny thing to listen on a WebSocket and forward OSC-over-UDP events to SuperDirt☆11Feb 22, 2024Updated 2 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16May 13, 2025Updated 9 months ago
- JSON event parser is a simple streaming JSON parser and serializer implementation in Rust.☆14Feb 6, 2026Updated 3 weeks ago
- WIP: Chronofold data structure in Purescript☆10Jun 24, 2021Updated 4 years ago
- Allow GHCJS projects to compile under GHC and develop using intero☆10Aug 27, 2022Updated 3 years ago
- a clojure wrapper around ical4j☆11Jan 8, 2017Updated 9 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- ETC☆15Aug 27, 2021Updated 4 years ago
- Writing multicore programs with Reason☆15Dec 22, 2020Updated 5 years ago
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- An attempt to run a MirageOS unikernel, built with Solo5, running in Qemu, on a Raspberry Pi 3☆11Mar 12, 2016Updated 9 years ago
- Visual graph rewriting platform☆10Jun 3, 2025Updated 9 months ago
- DSL Platform - Java client☆12Dec 10, 2016Updated 9 years ago
- Datalog compiler embedded in Rust as a procedural macro☆504Dec 14, 2025Updated 2 months ago
- A transactional, relational-graph-vector database that uses Datalog for query. The hippocampus for AI!☆3,896Dec 4, 2024Updated last year
- General-purpose abstractions for incremental computing, in Rust☆362Mar 24, 2022Updated 3 years ago