structural-integrity
One linter, three languages. Furqan's structural-integrity rules applied to Python (live), Rust, and Go. Apache-2.0.
A programming language with structural-honesty type checking: surface-depth verification, calibrated optimization, and compile-time enforcement of seven structural primitives.