GitHub repository: leynos/ddlint
Primary language: Rust
Created: 2025-06-23T17:24:49Z
Description: Differential Datalog Linter