Atom Linter plugin to lint Python optional static type as defined in PEP 484
☆28Jul 11, 2022Updated 4 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:
- Code and slides for my workshop on the Bitcoin blockchain☆12Sep 22, 2021Updated 5 years ago
- Improved multi-cursor functionality for Atom: https://atom.io/packages/multi-cursor-plus☆20Jul 19, 2017Updated 9 years ago
- Lint markdown files within atom☆43Jul 28, 2023Updated 3 years ago
- Linter plugin for CoffeeScript, using coffeelint.☆32Aug 5, 2023Updated 3 years ago
- Atom Linter module. Lint Lua on the fly, using luacheck☆12Jul 28, 2023Updated 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.
- Linting Python files on the fly using flake8 with Atom☆103Jul 28, 2023Updated 3 years ago
- Atom linter plugin for JSON, using jsonlint.☆23Jul 28, 2023Updated 3 years ago
- Solver for "Bulls and cows" inspired by Akinator Bayesian entropy something something☆14Dec 6, 2025Updated 10 months ago
- Quantify how special is the observed Local Group kinematics in the LCDM framework☆14Jun 22, 2021Updated 5 years ago
- ☆10Dec 3, 2016Updated 9 years ago
- Astro Pi Primary School Winning Entry - ISS data in Minecraft☆10Jun 17, 2016Updated 10 years ago
- Python language support for Atom-IDE☆237Oct 15, 2023Updated 2 years ago
- Custom importer for node-sass to import packages from the `node_modules` directory.☆11Aug 8, 2017Updated 9 years ago
- SMTP server for asyncio☆14Sep 29, 2015Updated 11 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.
- ☆10Mar 24, 2020Updated 6 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- Linter plugin for XML, using xmllint☆16Mar 24, 2023Updated 3 years ago
- 音乐分享平台（五个版本vue, angular, react, angular2,vuex）☆26Nov 3, 2017Updated 8 years ago
- ☆10Aug 23, 2018Updated 8 years ago
- Minetest Mod Manager for Android☆17Aug 6, 2019Updated 7 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Turn a string of hexadecimal characters into an `ArrayBuffer`☆10Jul 24, 2021Updated 5 years ago
- Code for the MSB publication: Exploring amino acid functions and positional subtypes in a deep mutational landscape☆10Jun 11, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Project for integration of OPS and the Knime workflow engine☆14Aug 12, 2015Updated 11 years ago
- The uncompromising Jupyter notebook formatter.☆14Jan 26, 2024Updated 2 years ago
- Keeps your clipboard history.☆17Jul 1, 2015Updated 11 years ago
- Plugin to make charts from amcharts.com Accessible☆13Sep 14, 2018Updated 8 years ago
- Темы студенческих проектов☆12Nov 14, 2016Updated 9 years ago
- Atom Linter plugin for HTML, using tidy-html5☆12Jul 28, 2023Updated 3 years ago
- Microsoft Azure Log Analytics Nozzle☆11Mar 28, 2023Updated 3 years ago
- Visualize the evolution of a git repository.☆16Aug 30, 2021Updated 5 years ago
- Plugin for Nemo testing framework for adapting selenium screenshot capabilities☆11Jul 8, 2019Updated 7 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.
- Simple demo of logic used in https://arxiv.org/abs/1712.05304 [outdated]☆22Jun 26, 2018Updated 8 years ago
- Lagom website☆10Aug 4, 2025Updated last year
- An implementation of Boltzmann generators using pytorch.☆11Dec 2, 2019Updated 6 years ago
- Atom linter plugin for Python, using pylint.☆59Jul 28, 2023Updated 3 years ago
- ☆12Feb 11, 2019Updated 7 years ago
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 4 years ago
- A declarative-style telegram bot framework☆20Apr 29, 2019Updated 7 years ago