A fast type checker and language server for Python
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
- code-analyzer
- code-style
- coding-standards
- formatter
Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
A fast, feature-rich static code analyzer & language server for Python
The type signature language for Ruby
- ruby
- type-checking
Type check values
- type-detection
- type-check
- is
- assertions
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
Port of MigLayout to ActionScript, a superbly versatile Flash/Flex/FlashCocoa (SWT/Swing/JavaFX) layout manager that makes layout problems trivial. It is using String or API type-checked constraints to format the layout. MigLayout can produce flowing, grid based, absolute (with links), grouped and docking layouts.
Package for running linters, formatters, static type checkers, and code analysis tools on python code in quarto (.qmd) files.
Check all the available MIME types of an extension
- mime-type
- mime-type-check
- mime-types
- esm