Sponsors
Become a sponsor-
iPulse AI
Open Agentic Investment Research Platform. Inspect deep multi-agent market forecasts and stock picks.
Listed in editorial order. Click a column header to re-sort the whole list.
Press / to search. Tags open their category. Click a row for details.
Search and filter
Results
| Row number | Tags | |||||
|---|---|---|---|---|---|---|
| 1 | mypy Type Checkers | 186,000,406 | 20,711 | Type Checkers Code Analysis Developer Tools | ||
|
A static type checker for Python.
|
||||||
| 2 | ty Type Checkers | 46,649,195 | 19,986 | Type Checkers Code Analysis Developer Tools | ||
|
An extremely fast Python type checker and language server.
|
||||||
| 3 | pyright Type Checkers | 47,081,982 | 15,717 | Type Checkers Code Analysis Developer Tools | ||
|
Full-featured static type checker for Python from Microsoft, the engine behind Pylance.
|
||||||
| 4 | pyrefly Type Checkers | 9,499,169 | 7,170 | Type Checkers Code Analysis Developer Tools | ||
|
A fast type checker and language server for Python.
|
||||||
No projects match your search.
Try a broader term, or .
Contribute
Know a project that belongs here?
Tell us what it does and why it stands out.