emacs-flycheck-mypy
Type checker
Provides type-checking integration with Emacs
38 stars
3 watching
10 forks
Language: Emacs Lisp
last commit: almost 5 years ago
Linked from 1 awesome list
Related projects:
| Repository | Description | Stars |
|---|---|---|
 flycheck/flycheck-rust | Automates code checking for Rust/Cargo projects using Flycheck | 120 |
 wingysam/t | A runtime type checker for Roblox's Lua programming language. | 0 |
 kotlinisland/basedmypy | A Python static type checker with additional features to improve typing and error reporting. | 148 |
 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 | 196 |
 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,083 |
 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 | 50 |
 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. | 72 |
 emacs-lsp/lsp-pyright | An Emacs plugin for integrated language server support | 291 |
 typeddjango/pytest-mypy-plugins | A plugin for testing type checking and stubs using mypy and pytest | 107 |
 slime/slime | Enables interactive programming in Common Lisp within Emacs. | 1,918 |