Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.
☆34Jun 16, 2021Updated 5 years ago
Alternatives and similar repositories for mypyls
Users that are interested in mypyls are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- VS Code extension that provides type checking and analysis for Python code using mypy.☆126Apr 13, 2025Updated last year
- A multi-shell completion bridge.☆15Jun 8, 2026Updated last week
- Populate rich completions using fish and remove the default bash based completer☆33May 26, 2026Updated 3 weeks ago
- bakaup.vim is an enhanced automatic backup system. Backup your file when you written a file like`/path/to/file.txt`, it backed up to `{ba…☆21Oct 10, 2025Updated 8 months ago
- Backport Python 3.8+ typing utils & add issubtype & more☆12Nov 9, 2022Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Use Rust failures as Python exceptions☆17Sep 1, 2018Updated 7 years ago
- Lisp方言ずら〜。え！？ これを使えばQuasiQuotesでコンパイル時Lispが書けるずら！？☆17Dec 31, 2018Updated 7 years ago
- Practical configuration files by 5000++ commits. e.g., Neovim and tmux with editprompt for Claude Code. Global AI Instructions for Claude…☆18Jun 12, 2026Updated last week
- Tiny utility for handling atomic CSS☆13Dec 30, 2022Updated 3 years ago
- A library for working with Python modules☆19Apr 23, 2018Updated 8 years ago
- A backend plugin for Statsd to output metrics to the Splunk HTTP Event Collector (HEC)☆11Jun 7, 2026Updated last week
- Getting Pydantic and SQLAlchemy ORM objects to play nicely together.☆11May 31, 2019Updated 7 years ago
- Public project to put duke3d on top of new version of Build - Build2☆27May 20, 2026Updated 3 weeks ago
- Extract structured data from the minecraft wiki☆13Apr 1, 2026Updated 2 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SourcePawn support files☆15Sep 15, 2017Updated 8 years ago
- A kick ass library to dominate your Extensions (with DevOS).☆15Nov 24, 2022Updated 3 years ago
- Asynchronous DNS for Python asyncio (pure Python)☆11Nov 15, 2018Updated 7 years ago
- A Pythonic way of developing GitHub Apps☆15Feb 26, 2018Updated 8 years ago
- Bridge between WriteLatex and Git.☆17Aug 6, 2021Updated 4 years ago
- A python package for robust statistics☆22Jun 10, 2026Updated last week
- MicroPython - a lean and efficient Python implementation for microcontrollers and constrained systems☆17Nov 11, 2016Updated 9 years ago
- A higher-level wrapper for Python in the Nim Language Programming☆23Jun 7, 2019Updated 7 years ago
- A Fallout 4 framework for loading custom scopes and optics.☆14Jan 19, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Incognito Mode for extroverts☆13Apr 19, 2023Updated 3 years ago
- HTML5 version of the Age of Empires II technology tree.☆14Sep 3, 2020Updated 5 years ago
- Model trait and derive implementation for rusqlite☆13Jan 11, 2023Updated 3 years ago
- ☆12Jun 10, 2026Updated last week
- ☆17Nov 4, 2024Updated last year
- Re-apply type annotations from .pyi stubs to your codebase.☆146Aug 14, 2022Updated 3 years ago
- [paused] Throttling, flow controlling StreamReader for aiohttp☆10Mar 20, 2021Updated 5 years ago
- An example of a Graphene-Python GraphQL schema where each entity is in its own module.☆24Aug 18, 2018Updated 7 years ago
- Prometheus service http client， Use wrapper Automatic selection query mode, there is no need for any implementation☆30Jan 17, 2021Updated 5 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.
- Gaussian Process Classification and Regression on Apache Spark☆11Mar 29, 2021Updated 5 years ago
- Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.☆39Jun 9, 2026Updated last week
- Type annotations for SQLAlchemy☆25Nov 13, 2018Updated 7 years ago
- Distributed/parallel execution of Robot Framework test suites using multiple docker containers☆20Aug 10, 2022Updated 3 years ago
- Declarative HTTP client based on pydantic and typical.☆15Jul 23, 2023Updated 2 years ago
- GitHub Issues on the command line. Use your $EDITOR, not your browser.☆15Apr 4, 2023Updated 3 years ago
- Get the hidden appointment from an email from outlook/teams as a .ics-file☆15Jun 16, 2022Updated 4 years ago