emacs-flycheck-mypy
Type checker
Provides type-checking integration with Emacs
38 stars
3 watching
10 forks
Language: Emacs Lisp
last commit: over 4 years ago
Linked from 1 awesome list
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 |