The type signature language for Ruby
- ruby
- type-checking
Repository Index
47,133 repositories indexed
1–13 of 13 · Most stars
Python Type Checker / Language Server
- autocompletion
- language-server-protocol
- mypy
- python
A Neovim plugin for seamless, asynchronous project-wide TypeScript type-checking using the TypeScript compiler (tsc)
A high-performance static analysis toolkit for Ruby
- ruby
- static-analysis
- type-checking
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
A simple plugin that allows running mypy from PyCharm and navigate between errors
- mypy
- pycharm
- python
- typing
Runtime type checking for JS with Hindley Milner signatures
- hindley-milner
- type-checking
- functional-programming
- invariant
Re-apply type annotations from .pyi stubs to your codebase.
- python
- python3
- typing
- type-checking
Flake8 plugin for managing type-checking imports & forward references.
- flake8-plugin
- flake8
- typing
- flake8-extensions
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
A plugin for Flake8 that provides specializations for type hinting stub files
- flake8
- python
- linter
- linter-plugin
Package for running linters, formatters, static type checkers, and code analysis tools on python code in quarto (.qmd) files.