Mypy language server: runs mypy on Python code to provide type checking, go to definition, and hover.
☆34Jun 16, 2021Updated 4 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.☆125Apr 13, 2025Updated last year
- Mypy plugin for the Python Language Server☆112Oct 13, 2022Updated 3 years ago
- A multi-shell completion bridge.☆15Updated this week
- Python tools for generating TypeScript interfaces from Python types☆11Nov 20, 2018Updated 7 years ago
- A library for working with Python modules☆19Apr 23, 2018Updated 8 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.
- A fast Python zygote process☆18Oct 17, 2021Updated 4 years ago
- Checks your test results metadata into github, commit-bound. Acts as a bot. You'll need a GitHub App to use it.☆24Jul 3, 2020Updated 5 years ago
- A kick ass library to dominate your Extensions (with DevOS).☆15Nov 24, 2022Updated 3 years ago
- A Pythonic way of developing GitHub Apps☆15Feb 26, 2018Updated 8 years ago
- A higher-level wrapper for Python in the Nim Language Programming☆23Jun 7, 2019Updated 6 years ago
- A Fallout 4 framework for loading custom scopes and optics.☆14Jan 19, 2020Updated 6 years ago
- Sort package dependency lists in Pipfile.☆11Feb 11, 2026Updated 2 months ago
- ☆12Jun 18, 2024Updated last year
- Re-apply type annotations from .pyi stubs to your codebase.☆146Aug 14, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- [paused] Throttling, flow controlling StreamReader for aiohttp☆10Mar 20, 2021Updated 5 years ago
- 🚂💨✨ Visualise local git branches as neat interactive HTML pages☆14Dec 3, 2020Updated 5 years ago
- A handful of tools for using mypy☆24Apr 20, 2021Updated 5 years ago
- ropensci registry☆13Updated this week
- Xonsh Jupyter kernel allows to run Xonsh shell code in Jupyter, JupyterLab, Euporie, etc.☆39Updated this week
- Python binding to the NEAR Rust API crates.☆11Jul 9, 2023Updated 2 years ago
- Declarative HTTP client based on pydantic and typical.☆15Jul 23, 2023Updated 2 years ago
- ☆15Apr 25, 2023Updated 3 years ago
- A sphinx-doc extension that allows you to write LaTeX algorithm directly inside sphinx-doc☆10Mar 8, 2026Updated 2 months 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.
- Sui DeepBook Python SDK☆12Sep 23, 2025Updated 7 months ago
- Scripts and actions to auto-upload typeshed stubs to PyPI☆37Updated this week
- GitHub Issues on the command line. Use your $EDITOR, not your browser.☆15Apr 4, 2023Updated 3 years ago
- Type hints for Trio and related projects☆29Oct 24, 2024Updated last year
- A plugin for flake8 integrating Mypy.☆102Jun 19, 2020Updated 5 years ago
- Dollar cost averaging bot with Jupiter TypeScript SDK☆10Dec 22, 2022Updated 3 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- crank openbook markets to keep it running☆18Dec 5, 2023Updated 2 years ago
- ☆23Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 🗂️ A simple, opinionated, tool, written in Rust, for declaratively managing Git repos on your machine.☆22Oct 15, 2023Updated 2 years ago
- 💡📋 xlsconv: Command-line tool to convert questionnaires from Open Data Kit's XLSForm format into Django models and HTML (for use with h…☆22Oct 31, 2025Updated 6 months ago
- Python transportation workbench for FreeCAD☆10Apr 9, 2019Updated 7 years ago
- Enhanced SSH client with TUI — manage connections, keys, and sessions☆56Apr 8, 2026Updated last month
- ☆18Feb 5, 2018Updated 8 years ago
- Generate arbitrary queries matching your GraphQL schema, and use them to verify your backend implementation.☆48Apr 26, 2026Updated 2 weeks ago
- Enhances your browser with an animation that makes Ctrl+F results more noticeable! MAINLY MANAGED ON CODEBERG https://codeberg.org/LeonsD…☆19Apr 29, 2026Updated last week