- ruff by astral-sh, 51k stars. Very fast Python linter and formatter written in Rust
- checkov by bridgecrewio, 9.2k stars. Static analysis scanner for Terraform and other infrastructure as code
- psalm by vimeo, 5.9k stars. PHP static analysis tool for finding errors and security issues
- lint by shadcn-ui, 3.4k stars. Linter for Tailwind design systems with rules that agents can verify
- creusot by creusot-rs, 2.0k stars. Deductive verifier that proves Rust code correct using Why3
- aeneas by AeneasVerif, 1.2k stars. Verification toolchain that translates Rust programs for proof assistants
- skylos by duriantaco, 943 stars. Local PR scanner for dead code, secrets and security bugs before merge
- aislop by scanaislop, 744 stars. Linter for AI-generated code with deterministic rules across 10 languages
- ArchUnitPython by LukasNiessen, 653 stars. Library for writing and enforcing architecture rules as tests in Python
- mado by akiomik, 419 stars. Fast linter for Markdown files written in Rust
- jacobian by morluto, 370 stars. MCP server with composable computer algebra and theorem proving tools
- foxguard by 0sec-labs, 325 stars. Fast SAST scanner for 14 languages with secrets detection and SARIF output
- verified-3d-mesh-intersection by schildep, 110 stars. Lean 4 proof of 3D mesh intersection with a short formal spec
- lasm by Millillion, 106 stars. Lean language implementation targeting JavaScript and WebAssembly runtimes
- sift by jjba23, 76 stars. Formatter, linter and language server for Lisp, Scheme and Emacs Lisp
- lucasartsifier by katiahayati, 51 stars. Finds softlocks in Sierra adventure game scripts and adds guards to fix them
- verified-polygon-intersection by schildep, 49 stars. Lean 4 formal proof of polygon intersection correctness
- FF-16-TUI by HexLasso, 39 stars. Terminal tool that finds firmware structures from frequent byte patterns
- avouch by mukundzha, 22 stars. Command line static reviewer for Python code that understands git changes
- busy-beaver by jeff87654, 15 stars. Busy beaver machine bounds with axiom-free Coq proofs
New repos every two days, stars refreshed daily. Visits are counted without cookies, and the numbers are public. How it works Data RSS Newsletter