[Dokmelody scratchpad notes]
[Main website]
doknil/tech/differential-datalog
https://github.com/vmware/differential-datalog
See also
https://fundoss.org/