All Projects → Integralist → vim-mypy

Integralist / vim-mypy

Licence: MIT license
Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)

Programming Languages

Vim Script
2826 projects

Projects that are alternatives of or similar to vim-mypy

Structured Acceptance Test
An open format definition for static analysis tools
Stars: ✭ 10 (-88.76%)
Mutual labels:  checker, static-analysis
Rascal
The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Stars: ✭ 284 (+219.1%)
Mutual labels:  checker, static-analysis
phantom-types
Phantom types for Python.
Stars: ✭ 120 (+34.83%)
Mutual labels:  static-analysis, mypy
Phpmnd
PHP Magic Number Detector
Stars: ✭ 431 (+384.27%)
Mutual labels:  checker, static-analysis
Forbidden Apis
Policeman's Forbidden API Checker
Stars: ✭ 216 (+142.7%)
Mutual labels:  checker, static-analysis
lints
Lint all your JavaScript, CSS, HTML, Markdown and Dockerfiles with a single command
Stars: ✭ 14 (-84.27%)
Mutual labels:  checker, static-analysis
vim-phpstan
A Vim plugin for PHPStan - https://github.com/phpstan/phpstan. It calls `phpstan` to do static analysis of your PHP code and displays the errors in Vim's quickfix list.
Stars: ✭ 26 (-70.79%)
Mutual labels:  static-analysis, vim-plugins
nakedret
nakedret is a Go static analysis tool to find naked returns in functions greater than a specified function length.
Stars: ✭ 82 (-7.87%)
Mutual labels:  static-analysis
vim-mix
Vim plugin for using Elixir's build tool, mix
Stars: ✭ 63 (-29.21%)
Mutual labels:  vim-plugins
custom-bytecode-analyzer
Java bytecode analyzer customizable via JSON rules
Stars: ✭ 66 (-25.84%)
Mutual labels:  static-analysis
vscode-checkstyle
Haxe Checkstyle extension for Visual Studio Code
Stars: ✭ 24 (-73.03%)
Mutual labels:  static-analysis
eba
EBA is a static bug finder for C.
Stars: ✭ 14 (-84.27%)
Mutual labels:  static-analysis
codacy-analysis-cli-action
GitHub Action for the codacy-analysis-cli
Stars: ✭ 42 (-52.81%)
Mutual labels:  static-analysis
quicktex
A vim plugin for writing Latex quickly.
Stars: ✭ 110 (+23.6%)
Mutual labels:  vim-plugins
denetmen
useful micro check library for Crystal Language.
Stars: ✭ 23 (-74.16%)
Mutual labels:  checker
PaperMachete
A project that uses Binary Ninja and GRAKN.AI to perform static analysis on binary files with the goal of identifying bugs in software.
Stars: ✭ 49 (-44.94%)
Mutual labels:  static-analysis
MailRipV3
SMTP and IMAP checker / cracker for mailpass combolists with a user-friendly GUI, automated inbox test and many more features.
Stars: ✭ 28 (-68.54%)
Mutual labels:  checker
snap
Snap Programming Language
Stars: ✭ 20 (-77.53%)
Mutual labels:  static-analysis
analysis-model
A library to read static analysis reports into a Java object model
Stars: ✭ 74 (-16.85%)
Mutual labels:  static-analysis
compatip
A simple tool to ensure compatibility between microservices
Stars: ✭ 13 (-85.39%)
Mutual labels:  checker

vim-mypy

Vim plugin for executing Python's optional static type checker MyPy

Example

def example(n: int) -> str:
    print(type(n))
    return 'hello'

example("a")  # << incorrect, we've passed a String and not an Integer 

To trigger the plugin, execute either :Mypy or the mapping <Leader>mp

Install

Pathogen

git clone https://github.com/integralist/vim-mypy ~/.vim/bundle/vim-mypy

Vundle

Plugin 'integralist/vim-mypy'

Alternatives

It seems both Syntastic and Neomake include support for MyPy.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].