21 projects
Mypy
Mypy is a static type checker for Python code that helps catch common programming errors by analyzing type hints. It combines Python's runtime type checking with compile-time type checking, allowing developers to gradually add type annotations to their Python code.
Contributors
6,347
Organizations
2,062
Software value
$8.7M
Flow
Flow is a static type checker for JavaScript that helps catch type errors and improve code reliability. It works by adding type annotations to JavaScript code and performing type inference to detect potential issues during development.
Contributors
6,120
Organizations
2,053
Software value
$42M
PHPStan
PHPStan is a static analysis tool that finds bugs in PHP code without running it. It catches whole classes of bugs even before writing tests for the code and provides detailed error messages to help developers improve code quality.
Contributors
3,829
Organizations
1,271
Software value
$1.2M
Psalm
Psalm is a static analysis tool for PHP that helps identify potential bugs and type-related issues in code. It performs automated code inspection and type checking to improve code quality and catch errors before runtime.
Contributors
2,217
Organizations
692
Software value
$88M
SpotBugs
SpotBugs is a static analysis tool that detects potential bugs in Java code by analyzing bytecode patterns. It is the spiritual successor to FindBugs, using static analysis to look for more than 400 bug patterns like null pointer dereferences, infinite recursive loops, and deadlocks.
Contributors
1,586
Organizations
348
Software value
$10M
Sorbet
Sorbet is a fast, powerful type checker designed for Ruby that helps catch bugs and maintain large Ruby codebases. It adds optional static typing to Ruby, offering gradual typing capabilities while maintaining Ruby's flexibility.
Contributors
1,561
Organizations
389
Software value
$12M
Larastan
Larastan is a static analysis tool that adds static typing to Laravel by integrating PHPStan. It provides code analysis, type checking, and error detection specifically tailored for Laravel applications, helping developers catch potential bugs and improve code quality.
Contributors
1,326
Organizations
388
Software value
$677K
Jedi
Jedi is a static analysis tool and autocompletion library for Python that helps developers write code faster by providing intelligent code completion, goto definitions, find references, and other IDE-like features
Contributors
1,295
Organizations
439
Software value
$1.1M
PHPStan Source
PHPStan is a static analysis tool for PHP that finds bugs in code without running it. It performs advanced type inference and error detection by analyzing source code for potential issues, type mismatches, and logic errors.
Contributors
986
Organizations
312
Software value
$18M
Pyre
Performant type-checking for python.
Contributors
761
Organizations
171
Software value
$26M
PHP Parser
A PHP parser written in PHP that generates an Abstract Syntax Tree (AST) from PHP code. It can be used for static analysis, manipulation and code introspection.
Contributors
732
Organizations
308
Software value
$918K
Checker Framework
The Checker Framework is a pluggable type-checking system for Java that helps developers prevent bugs by detecting and verifying type constraints at compile time. It extends Java's type system to enable more precise compile-time verification of properties like null pointer safety, regex validity, and concurrency correctness.
Contributors
635
Organizations
137
Software value
$11M
CodeChecker
CodeChecker is an analyzer tooling, defect database and viewer extension for static and dynamic analyzer tools.
Contributors
564
Organizations
103
Software value
$4.9M
Steep
Static type checker for Ruby
Contributors
214
Organizations
95
Software value
$2.3M
Meziantou.Analyzer
A C# analyzer that provides additional rules and code fixes for .NET applications to improve code quality, performance, and maintainability through static code analysis
Contributors
205
Organizations
51
Software value
$2.8M
Dialyxir
Mix tasks to simplify use of Dialyzer in Elixir projects.
This project hasn't been onboarded to LFX Insights.
PHPStan Drupal
Extension for PHPStan to allow analysis of Drupal code.
This project hasn't been onboarded to LFX Insights.
Phan
Phan is a static analyzer for PHP. Phan prefers to avoid false-positives and attempts to prove incorrectness rather than correctness.
This project hasn't been onboarded to LFX Insights.
phpDoc Parser
Next-gen phpDoc parser with support for intersection types and generics
This project hasn't been onboarded to LFX Insights.