Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with ddlog

A curated list of projects in awesome lists tagged with ddlog .

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: 01 Aug 2024