github.com/vmware/differential-datalog (go): 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.
Keywords: datalog|ddlog|incremental|programming-language|rust