LFX Platform

Know more about LFX Platform

LFX Insights
Curated Collections

Static Type Checkers

Tools that perform static type checking to catch type errors in code, improving reliability and maintainability in dynamically typed languages like Ruby.

The Linux Foundation

by The Linux Foundation

29 projects ・ Updated 14 Mar 2025

Project
Contributors
Organizations
Software value
Mypy
6,432
2,105
$9.1M
Facebook Flow
6,123
2,099
$44M
PHPStan
3,871
1,328
$2.7M
Psalm
2,228
710
$88M
SpotBugs
1,593
363
$10M
Sorbet
1,555
393
$12M
Larastan
1,337
399
$674K
Jedi
1,308
445
$1.1M
PHPStan Source
1,005
332
$19M
Pyre
764
173
$26M
PHP Parser
736
308
$919K
Checker Framework
644
138
$11M
Phan
637
216
$8.7M
CodeChecker
576
116
$5M
Dialyxir
480
205
$161K
zizmor
326
192
$2.1M
PHPStan Drupal Extension
265
81
$342K
Steep
218
101
$2.3M
Meziantou.Analyzer
213
55
$3.1M
Node File Trace
212
94
$1.4M
PHPStan Strict Rules
182
99
$172K
Pyright for Python
150
68
$55K
JSpecify
133
56
$374K
Escope
102
50
$314K
PHPStan Nette Extension
87
36
$86K
PHPStan Deprecation Rules
74
47
$91K
flake8-pyi
60
39
$130K
PHPStan Rules
50
30
$308K
phpDoc Parser
0
0
$0
Looking for a project that’s not listed?