Projects in Awesome Lists tagged with ddlog
A curated list of projects in awesome lists tagged with ddlog .
https://github.com/vmware-archive/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
datalog ddlog incremental programming-language rust
Last synced: 16 May 2025
https://github.com/vmware/differential-datalog
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.
datalog ddlog incremental programming-language rust
Last synced: 10 Mar 2025
https://github.com/kixiron/graph-asm
An experimental Differential Dataflow optimization engine powered by equality saturation
ddlog equality-saturation optimizer rust
Last synced: 23 Apr 2025
