Vim plugin for executing Python's optional static type checker MyPy (http://mypy-lang.org/)
☆102Oct 8, 2019Updated 7 years ago
Alternatives and similar repositories for vim-mypy
Users that are interested in vim-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:
- radical.vim ✊ Convert decimal, hex, octal, binary number representations☆113Mar 25, 2024Updated 2 years ago
- mypy typesheds for the Python data stack☆85Aug 4, 2019Updated 7 years ago
- A fast Python zygote process☆18Oct 17, 2021Updated 4 years ago
- Mypy plugin for the Python Language Server☆111Oct 13, 2022Updated 3 years ago
- Type annotations for SQLAlchemy☆25Nov 13, 2018Updated 7 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Hyperterm theme based on gruvbox☆17Feb 10, 2017Updated 9 years ago
- Vim syntax highlighting for the smart contract programming language Vyper☆12Oct 24, 2019Updated 6 years ago
- Yet another simple session management plugin for Vim/Neovim☆16Jan 12, 2018Updated 8 years ago
- API Blueprint Parser for Python 3☆23Apr 4, 2020Updated 6 years ago
- Experimental typing stubs for NumPy☆284Jun 9, 2020Updated 6 years ago
- nimlint makes developing softer.☆17Feb 10, 2021Updated 5 years ago
- Deprecated; please see `@ethersproject/hardware-wallets` instead☆12Oct 3, 2018Updated 8 years ago
- A library for working with Python modules☆19Apr 23, 2018Updated 8 years ago
- 🐍 Vyper language support in Atom☆11Mar 24, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- My *nix dotfiles☆12Aug 17, 2026Updated last month
- Slides from PyCon Ukraine 2018☆12May 2, 2018Updated 8 years ago
- Automatically adds variables with nicely formated dates and time tags to Jekyll posts and pages.☆17Aug 31, 2020Updated 6 years ago
- Smart contracts for futarchy curated registry☆14Oct 18, 2018Updated 7 years ago
- send me some eth, how bout dat?☆14Feb 17, 2019Updated 7 years ago
- A Erlang library for generating unique identifiers☆12Sep 29, 2026Updated last week
- Elixir stream-wrapper that transparently handles exceptions.☆12Nov 21, 2020Updated 5 years ago
- Functions and mappings to close open HTML/XML tags☆64Oct 18, 2010Updated 15 years ago
- A tool to create scaffolding for Vim plugins to be written in Python, and a wiki of common usages of the vim module in Python☆184Jun 5, 2020Updated 6 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.
- switch between tmux sessions with ctrlp!☆15Jan 17, 2017Updated 9 years ago
- Interact with your Authereum contract-based account directly.☆12Mar 3, 2023Updated 3 years ago
- Basic exhaustiveness checking of unions in Elixir☆16Jun 23, 2019Updated 7 years ago
- vim mode that uses rope library to provide features like python refactorings and code-assists☆250Dec 14, 2022Updated 3 years ago
- Asynchronous syntax highlight engine for Neovim☆15Feb 13, 2018Updated 8 years ago
- Ethereum ecosystem☆15Nov 24, 2020Updated 5 years ago
- A node-hid based driver to read actions from the Dream Cheeky Big Red Button☆10Jul 19, 2020Updated 6 years ago
- [DEPRECATED] Network interfaces for go-libp2p; use https://github.com/libp2p/go-libp2p-core/ instead.☆32May 24, 2019Updated 7 years ago
- Jupyter meets Vim. Vimmer will fall in love.☆2,094Aug 22, 2023Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆10Aug 30, 2017Updated 9 years ago
- ☆15Jun 20, 2017Updated 9 years ago
- Todo management in vim using unite and sqlite☆20Mar 28, 2019Updated 7 years ago
- ASGI/Telegram protocol server☆25Nov 20, 2017Updated 8 years ago
- A 3d raycaster that renders to ASCII text.☆17May 15, 2017Updated 9 years ago
- A rapidly-updated list of live phishing domains for consumption by the eth-phishing-detect module☆15Aug 10, 2022Updated 4 years ago
- botblocker detects which of your Twitter followers are bots and blocks them☆17Dec 8, 2018Updated 7 years ago