☆38Mar 30, 2020Updated 6 years ago
Alternatives and similar repositories for emacs-flycheck-mypy
Users that are interested in emacs-flycheck-mypy are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Emacs minor mode for explaining why you're not working☆12Jul 6, 2023Updated 3 years ago
- Multiple syntax checker for Python in Emacs, using Flycheck☆65Jun 24, 2026Updated 3 months ago
- Get all completions from company-mode backends☆23Apr 17, 2020Updated 6 years ago
- Emacs minor mode for hiding passwords (anti-shoulder-surfing)☆15Mar 26, 2020Updated 6 years ago
- Code navigation, documentation lookup and completion for Python.☆710Jun 19, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- I found this code here http://lists.common-lisp.net/pipermail/slime-devel/2012-March/018497.html . Original Author is Max Mikhanosha.☆16May 30, 2014Updated 12 years ago
- Format buffers visually without modification☆11Aug 2, 2025Updated last year
- Git-Svn extension for Magit☆24Feb 10, 2025Updated last year
- Python code generation in Emacs with Elpy and python-mode☆21Dec 5, 2017Updated 8 years ago
- A traversal fusion EDSL for Common Lisp☆23Feb 5, 2022Updated 4 years ago
- Use yapf to beautify a Python buffer☆40Mar 11, 2021Updated 5 years ago
- ☆68Aug 8, 2015Updated 11 years ago
- Manage Python imports from Emacs!☆76Feb 7, 2024Updated 2 years ago
- Like Magit but for Heroku☆20Aug 11, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- An Emacs Gitter client☆28Mar 16, 2022Updated 4 years ago
- emacs mode that uses rope library to provide features like python refactorings and code-assists☆132Feb 20, 2023Updated 3 years ago
- JDEE Java backend☆62Aug 25, 2021Updated 5 years ago
- language-specific refactoring in Emacs☆357Jan 29, 2023Updated 3 years ago
- Notes on Common Lisp☆15Oct 5, 2022Updated 4 years ago
- UNMAINTAINED☆32Mar 26, 2013Updated 13 years ago
- Vim python filetype plugin.☆13May 23, 2013Updated 13 years ago
- An Emacs mode for programming screencasts of Emacs usage.☆20Apr 25, 2014Updated 12 years ago
- C++/Julia-like parametric types in CL, based on CLtL2 extensions☆17Apr 28, 2020Updated 6 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Russian holidays for GNU/Emacs calendar☆16Jan 9, 2017Updated 9 years ago
- A namedtuple-style library for defining immutable sum types in Python.☆28Apr 20, 2021Updated 5 years ago
- [ABANDONED] An attempt to port the concur library to PureScript.☆20Feb 21, 2018Updated 8 years ago
- Django mode for emacs☆148Jun 10, 2021Updated 5 years ago
- Major mode for editing docker-compose files☆61Jan 11, 2024Updated 2 years ago
- peek-mode is a minor mode that publishes live Emacs buffers through an elnode server☆20Jun 20, 2013Updated 13 years ago
- Signal processing features based on xtensor☆12Nov 25, 2023Updated 2 years ago
- Purely Functional Data Structures☆13Dec 15, 2014Updated 11 years ago
- Generate conventional commit messages using GPT.☆26Dec 26, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ⏱ Testing tool: Block & time management over RPC☆14Mar 26, 2019Updated 7 years ago
- Emacs bindings for hlint's --refactor option☆27Jan 15, 2019Updated 7 years ago
- something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing☆24Aug 5, 2026Updated 2 months ago
- An emacs extension for displaying coverage data on your code☆96Jan 26, 2025Updated last year
- ☆12Feb 5, 2026Updated 8 months ago
- Tool for cleaning old and redundant backups☆16Sep 8, 2026Updated last month
- An Emacs package for managing Django projects.☆66Jan 8, 2017Updated 9 years ago