Skip to content
#

heuristic-free-linting

Star

Here is 1 public repository matching this topic...

hyperpolymath / pons-asinorum

Sponsor
Star 1

A depth-first, multi-language static scanner that flags wasted work, self-contradiction, and missing escape hatches — and never dresses a heuristic up as a proof. The pons asinorum for code.

rust open-source tree-sitter linter static-analysis developer-tools control-flow-analysis code-quality cli-tool typestate dead-code-detection hyperpolymath epistemic-infrastructure epistemic-computing static-analysis-tool veridical-computing heuristic-free-linting sarif-output
  • Updated Sep 23, 2026
  • Rust

Add this topic to your repo

To associate your repository with the heuristic-free-linting topic, visit your repo's landing page and select "manage topics."

Learn more