An in-memory incremental Datalog engine based on Differential Dataflow - View it on GitHub