The complete guide to static typing in "React & Redux" apps using TypeScript
Repository Index
47,133 repositories indexed
1–8 of 8 · Most stars
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Generate and maintain stubs for different MicroPython ports to use with VSCode and Pylance, PyRight, Thonny, PyCharm or MyPy
- micropython-stubs
- micropython-stubber
- firmware-stubs
- python
Phantom types for Python.
- phantom-types
- static-analysis
- mypy
- python
Opinionated typing package for precise type hints in Python
- pep484
- python
- python-typing
- numpy
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
- baseline
- cli
- legacy-code
- mypy
Plugin for mypy to support zope.interface
- mypy
- zope
- plugin
- static-typing