GitHub repository: ryzhyk/differential-datalog
Primary language: Haskell
Description: An in-memory incremental Datalog engine based on Differential Dataflow