dylint

A static analysis linter for Stellar Soroban smart contracts to catch input-independent resource cost anti-patterns before deployment.

Additional linting rules for Rust projects

A type-aware capability/effect checker for Rust (dylint lint): what does each function actually touch — network, fs, db, …? Honest about what it can't see.

Capacity telemetry for Rust collections — call-site macros that record actual observed capacities, with zero overhead when disabled.

Static lints catching game-simulation non-determinism before it causes a rollback-netcode desync.

A Dylint lint for sibling modules that depend on each other in a cycle

A Rust linter for context-aware statement grouping and blank-line placement

A collection of security-focused custom Rust lints built on top of dylint.

MIR-level critical-section typestate analyzer for Rust — the real-rustc-MIR generalization of guardstate.

Aonyx's lint rules for whisker

Snarky Dylint rules