Atom Linter plugin to lint Python optional static type as defined in PEP 484
☆28Jul 11, 2022Updated 3 years ago
Alternatives and similar repositories for linter-mypy
Users that are interested in linter-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:
- Lint python in the Atom on the fly, using pylama☆22Sep 4, 2022Updated 3 years ago
- Run py.test tests on Atom☆16Feb 28, 2020Updated 6 years ago
- A lightweight panel/taskbar written in Python and C for X11 window managers☆15Oct 19, 2013Updated 12 years ago
- Improved multi-cursor functionality for Atom: https://atom.io/packages/multi-cursor-plus☆20Jul 19, 2017Updated 8 years ago
- Linter plugin for CoffeeScript, using coffeelint.☆32Aug 5, 2023Updated 2 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.
- Atom Linter module. Lint Lua on the fly, using luacheck☆12Jul 28, 2023Updated 2 years ago
- Atom linter plugin for JSON, using jsonlint.☆23Jul 28, 2023Updated 2 years ago
- Custom Kernel for Samsung Galaxy Note 9 running Samsung Firmware (Pie 9.0)☆13Mar 11, 2020Updated 6 years ago
- Exposes aggregation features of the Django model queryset to the DRF API.☆23Sep 15, 2022Updated 3 years ago
- Templates for RGA files☆21Dec 10, 2019Updated 6 years ago
- ☆15Dec 2, 2019Updated 6 years ago
- SMTP server for asyncio☆14Sep 29, 2015Updated 10 years ago
- a vehicle roadway traffic simulator written in javascript, html and css. rendering is done via the HTML5 canvas.☆12Oct 8, 2023Updated 2 years ago
- Use WebPush to notify clients on collection change.☆18Feb 8, 2019Updated 7 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.
- Linter plugin for XML, using xmllint☆16Mar 24, 2023Updated 3 years ago
- Run tests in your markdown☆11Jan 15, 2021Updated 5 years ago
- Improved print function that handles ANSI escapes even on Windows☆16Jul 11, 2020Updated 5 years ago
- Python abc implementation that disallows function body content on interfaces.☆16Updated this week
- Project for integration of OPS and the Knime workflow engine☆14Aug 12, 2015Updated 10 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- The uncompromising Jupyter notebook formatter.☆14Jan 26, 2024Updated 2 years ago
- ☆10Updated this week
- Library providing a plugin authentication middleware for aiohttp.web☆12Mar 6, 2018Updated 8 years 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.
- Atom whitespace package☆94Sep 28, 2022Updated 3 years ago
- ☆10Dec 13, 2018Updated 7 years ago
- Python GRIP library☆32May 14, 2026Updated 3 weeks ago
- Makes vim behave like `tail -f`☆10Oct 7, 2016Updated 9 years ago
- Oauth middlewear for your aiohttp app.☆11Aug 1, 2019Updated 6 years ago
- A modularized video player written in Python (supporting local, AirPlay, DLNA playback).☆12Aug 30, 2021Updated 4 years ago
- Visualize the evolution of a git repository.☆16Aug 30, 2021Updated 4 years ago
- PyPGMC: Fast discrete inference submodels for PyMC and PyMC3☆20Jun 7, 2014Updated 12 years ago
- py is a high-level API wrapping the low-level CPython C-API, for go☆17Jul 24, 2015Updated 10 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.
- Original Joy☆11Dec 17, 2024Updated last year
- ☆12Feb 11, 2019Updated 7 years ago
- Half Byte Loader BETA☆21Feb 14, 2016Updated 10 years ago
- ☆19Mar 24, 2018Updated 8 years ago
- Reproducible GSEA Benchmarking☆14May 14, 2026Updated 3 weeks ago
- GUI and Core part from Universal-Team.☆21Dec 11, 2024Updated last year
- Generate and represent domain model classes via category-like equations which can be simplified to get the optimal class structure for th…☆15May 17, 2020Updated 6 years ago