A selection of 3 curated typing Python libraries and frameworks ordered by stars.
Checkout the interactive version that you can filter and sort: https://www.awesomepython.org/
Optional static typing for Python
http://www.mypy-lang.org/
https://github.com/python/mypy
25 stars per week over 476 weeks
12,179 stars, 2,034 forks, 209 watches
created 2012-12-07, last commit 2022-01-23, main language Python
linter, python, typechecker, types, typing
Performant type-checking for python.
https://pyre-check.org/
https://github.com/facebook/pyre-check
26 stars per week over 219 weeks
5,746 stars, 379 forks, 100 watches
created 2017-11-10, last commit 2022-01-21, main language OCaml
abstract-interpretation, code-quality, control-flow-analysis, ocaml, program-analysis, python, security, static-analysis, taint-analysis, type-check, typechecker
A static type analyzer for Python code
https://google.github.io/pytype
https://github.com/google/pytype
10 stars per week over 357 weeks
3,590 stars, 228 forks, 56 watches
created 2015-03-18, last commit 2022-01-21, main language Python
linter, python, static-analysis, static-code-analysis, typechecker, types, typing
This file was automatically generated on 2022-01-23.
To curate your own github list, simply clone and change the input csv file.
Inspired by:
https://github.com/vinta/awesome-python
https://github.com/trananhkma/fucking-awesome-python