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
Sorting:
- VS Code extension that provides type checking and analysis for Python code using mypy.☆126Apr 13, 2025Updated 10 months ago
- A multi-shell completion bridge.☆14Feb 23, 2026Updated 2 weeks ago
- Use Rust failures as Python exceptions☆17Sep 1, 2018Updated 7 years ago
- Generate FastAPI projects to deploy with Serverless.☆18Dec 15, 2023Updated 2 years ago
- Mozilla Node.js Log Utility☆18May 5, 2021Updated 4 years ago
- An Adaptive AI‑Powered Web Application Firewall for Django. Detects anomalies, blocks suspicious IPs, prevents UUID tampering, stops hone…☆45Feb 24, 2026Updated last week
- Search comments and highlights annotations in PDF documents.☆12May 4, 2023Updated 2 years ago
- ☆29Jan 20, 2025Updated last year
- Deploy website to S3/CloudFront from Python☆31Sep 30, 2020Updated 5 years ago
- Lets users add formatters to VSCode that run locally defined scripts.☆34Feb 12, 2026Updated 3 weeks ago
- SnackBase is a Python/FastAPI-based BaaS providing auto-generated REST APIs, multi-tenancy, row-level security, authentication, enterpris…☆120Feb 27, 2026Updated last week
- ☆38Nov 30, 2025Updated 3 months ago
- A tropical open-world 3D Platformer inspired by Mario Sunshine. Climb buildings, collect treasures, fight baddies, and relax in the sun!☆11Jan 9, 2022Updated 4 years ago
- jspreadsheet tables for Wagtail☆10Nov 23, 2023Updated 2 years ago
- tus (resumable file upload protocol) client in python☆37Jul 9, 2019Updated 6 years ago
- This is a django package that makes many django admin components available outside of the admin.☆10Mar 9, 2022Updated 4 years ago
- PesaYetu, an easy-to-use visualization tool that helps journalists quickly find, analyse and compare government budget data to help fact-…☆10Jun 18, 2024Updated last year
- A blazingly-fast, hackable linter☆10Apr 15, 2025Updated 10 months ago
- Quickly convert PNG files to ESC/POS format, for printing on Epson thermal point-of-sale printers.☆10May 28, 2017Updated 8 years ago
- The zalando.github.io open-source metrics dashboard☆10Jan 31, 2018Updated 8 years ago
- Translate semantic database language Xplain to SQL☆10Feb 1, 2021Updated 5 years ago
- Customize your YouTube video embeds☆16May 22, 2022Updated 3 years ago
- An example of what I would have found helpful when I first starting working with RequireJS.☆16Mar 12, 2015Updated 10 years ago
- Apple TV screensaver for Linux☆12Apr 1, 2025Updated 11 months ago
- Runtime type information for JavaScript and TypeScript programs☆10Jun 16, 2024Updated last year
- A Fallout 4 framework for loading custom scopes and optics.☆14Jan 19, 2020Updated 6 years ago
- ACK service controller for Amazon Application AutoScaling☆14Jan 8, 2026Updated 2 months ago
- ☆10Jun 2, 2020Updated 5 years ago
- atop as web-mobile-desktop☆11Sep 23, 2024Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated last month
- Tabula Rasa Tic-Tac-Toe☆10Jan 3, 2019Updated 7 years ago
- This repo is an API Restful to create a Starwars character. Here I use SQLModel as ORM and FAST API as web service framework. Also I pres…☆11Aug 1, 2022Updated 3 years ago
- Token Holder Lottery RNG☆12Sep 18, 2017Updated 8 years ago
- Flask Extension implementing the Tus.io server side resumable upload protocol☆39May 6, 2020Updated 5 years ago
- Top-level repository for the Push Service☆13Mar 8, 2024Updated 2 years ago
- VFP: Generate an extension for VS Code which provides support for the Visual FoxPro language☆12Sep 17, 2017Updated 8 years ago
- A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…☆45Jun 11, 2022Updated 3 years ago
- ☆36Sep 12, 2019Updated 6 years ago
- A monolithic kernel based on ArceOS.☆14May 24, 2025Updated 9 months ago