ddlint

Linter for Differential Datalog. A Logos tokenizer, an error-recovering Chumsky parser, and a Rowan syntax tree – lints that survive broken input.

Source

Source material

Contents

What is available now

Updated Jul 23, 2026

parse converts source text into a lossless CST-backed parse result and returns parser diagnostics.
The linter runner executes registered CST rules and produces LintDiagnostic values.
The built-in command-line entrypoint currently only prints a placeholder message and exits with a non-zero status.