emacs-flycheck-mypy

Type checker

Provides type-checking integration with Emacs

GitHub

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


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
flycheck/flycheck-rustAutomates code checking for Rust/Cargo projects using Flycheck120
wingysam/tA runtime type checker for Roblox's Lua programming language.0
kotlinisland/basedmypyA Python static type checker with additional features to improve typing and error reporting.148
danielmartin/flycheck-pbxprojAn Emacs Lisp extension that adds syntax checking capabilities to Xcode project files using the Kin library.4
lbolla/empyA suite of algorithms for electromagnetic problems and optics196
dropbox/mypy-pycharm-pluginA plugin that allows running type-checking tools from within PyCharm.314
flycheck/flycheck-caskA plugin that integrates Flycheck with Cask projects to manage dependencies and provide code checks for Emacs Lisp files.16
bbatsov/emacs-lisp-style-guideA comprehensive guide to best practices for writing maintainable and readable Emacs Lisp code.1,083
orsinium-labs/typeforceA tool to simplify Python package maintenance by automating type checking and stub installation.19
zweifisch/ollamaAn Emacs Lisp client that integrates AI-powered language tools into the Emacs editor50
emludei/checktypeA decorator that checks function arguments and return types at runtime.0
ymyzk/mypy-playgroundA web-based tool for running mypy, a static type checker for Python, in a sandbox environment.72
emacs-lsp/lsp-pyrightAn Emacs plugin for integrated language server support291
typeddjango/pytest-mypy-pluginsA plugin for testing type checking and stubs using mypy and pytest107
slime/slimeEnables interactive programming in Common Lisp within Emacs.1,918