crepe (cargo): Datalog in Rust as a procedural macro
Keywords: logic-programming|compiler|datalog|analysis|rust|souffle|static-analysis|translator