Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

conda-forge.org "typechecker" keyword

typescript 3.6.4
TypeScript is a language for application-scale JavaScript. TypeScript adds optional types, classe...
24 versions - Latest release: over 4 years ago - 1 dependent repositories - 85,521 stars on GitHub
mypyc 0.991 💰
The compiled language is a strict, gradually typed Python variant. It restricts the use of some d...
2 versions - Latest release: over 1 year ago - 1 dependent package - 15,046 stars on GitHub
Top 2.4% on conda-forge.org
mypy_extensions 0.4.3 💰
The 'mypy_extensions' module defines experimental extensions to the standard 'typing' module that...
4 versions - Latest release: over 4 years ago - 22 dependent packages - 205 dependent repositories - 15,046 stars on GitHub
pytype 2022.11.10
A static type analyzer for Python code
52 versions - Latest release: over 1 year ago - 4,158 stars on GitHub
Top 2.1% on conda-forge.org
mypy 0.991 💰
Add type annotations to your Python programs, and use mypy to type check them. Mypy is essentiall...
44 versions - Latest release: over 1 year ago - 25 dependent packages - 364 dependent repositories - 15,046 stars on GitHub