emacs-flycheck-mypy

Type checker

Provides type-checking integration with Emacs

GitHub

38 stars
3 watching
10 forks
Language: Emacs Lisp
last commit: over 4 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
flycheck/flycheck-rust Automates code checking for Rust/Cargo projects using Flycheck 121
wingysam/t A runtime type checker for Roblox's Lua programming language. 0
kotlinisland/basedmypy A Python type checker built to resolve issues with the mypy project and Python's typing system 143
danielmartin/flycheck-pbxproj An Emacs Lisp extension that adds syntax checking capabilities to Xcode project files using the Kin library. 4
lbolla/empy A suite of algorithms for electromagnetic problems and optics 195
dropbox/mypy-pycharm-plugin A plugin that allows running type-checking tools from within PyCharm. 314
flycheck/flycheck-cask A plugin that integrates Flycheck with Cask projects to manage dependencies and provide code checks for Emacs Lisp files. 16
bbatsov/emacs-lisp-style-guide A comprehensive guide to best practices for writing maintainable and readable Emacs Lisp code. 1,081
orsinium-labs/typeforce A tool to simplify Python package maintenance by automating type checking and stub installation. 19
zweifisch/ollama An Emacs Lisp client that integrates AI-powered language tools into the Emacs editor 51
emludei/checktype A decorator that checks function arguments and return types at runtime. 0
ymyzk/mypy-playground A web-based tool for running mypy, a static type checker for Python, in a sandbox environment. 71
emacs-lsp/lsp-pyright An Emacs plugin for integrated language server support 290
typeddjango/pytest-mypy-plugins A plugin for testing type checking and stubs using mypy and pytest 103
slime/slime Enables interactive programming in Common Lisp within Emacs. 1,901