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