structural-integrity
One linter, three languages. Furqan's structural-integrity rules applied to Python (live), Rust, and Go. Apache-2.0.
A programming language type-checker enforcing structural honesty (Phase 2 prototype).