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:
- Run py.test tests on Atom☆16Feb 28, 2020Updated 6 years ago
- ☆10May 14, 2016Updated 10 years ago
- Atom Linter module. Lint Lua on the fly, using luacheck☆12Jul 28, 2023Updated 3 years ago
- A lightweight panel/taskbar written in Python and C for X11 window managers☆15Oct 19, 2013Updated 13 years ago
- Custom Kernel for Samsung Galaxy Note 9 running Samsung Firmware (Pie 9.0)☆13Mar 11, 2020Updated 6 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.
- Refined Kernel For Galaxy J5/J7 2017 - V2.8☆13Jan 18, 2019Updated 7 years ago
- Atom.io plugin to sort Python imports☆19Apr 29, 2020Updated 6 years ago
- ☆25Apr 4, 2023Updated 3 years ago
- Atom plugin to lint python files☆12Jun 6, 2017Updated 9 years ago
- ☆10Mar 24, 2020Updated 6 years ago
- Applications of nonequilibrium candidate Monte Carlo (NCMC) to ligand binding mode sampling☆34Jul 31, 2026Updated 3 months ago
- Python language support for Atom-IDE☆238Oct 15, 2023Updated 3 years ago
- ☆15Dec 2, 2019Updated 6 years ago
- The collected works of R. F. C. Walters☆13Nov 12, 2024Updated last year
- 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.
- A SMTP server for use as a pytest fixture that implements encryption and authentication.☆17Oct 5, 2026Updated 3 weeks ago
- Minetest Mod Manager for Android☆17Aug 6, 2019Updated 7 years ago
- Encode an image to sound (WAV file) and view it as a spectrogram. Optimized Python 3 version.☆11Jan 25, 2023Updated 3 years ago
- Python protein structure model from PDB data that determins secondary structure☆12Nov 15, 2011Updated 14 years ago
- Hastic python core for processing machine learning tasks. Could be used separately.☆16Jun 22, 2022Updated 4 years ago
- Lightweight Prolog-like Interpreter and nested tuple store for unification-based tuple mining in Python☆21Mar 1, 2023Updated 3 years ago
- Check if an object is empty.☆12May 24, 2018Updated 8 years ago
- A shadowsocks client which supports intelligently load balance schedule algorithm☆10Dec 7, 2022Updated 3 years ago
- A simple python package for graph theory that supports multi-edges, hyper-edges, looped-edges and every other combination of these.☆17Mar 17, 2019Updated 7 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.
- py is a high-level API wrapping the low-level CPython C-API, for go☆17Jul 24, 2015Updated 11 years ago
- GUI and Core part from Universal-Team.☆21Dec 11, 2024Updated last year
- Type Theory in Type Theory using Cubical Agda☆15Feb 21, 2019Updated 7 years ago
- High performance, attack detection from web server logs.☆11May 16, 2019Updated 7 years ago
- Project for integration of OPS and the Knime workflow engine☆14Aug 12, 2015Updated 11 years ago
- A simple JSON viewer☆35Apr 20, 2021Updated 5 years ago
- Coq Implementation of Algebraic Property Graphs☆11Oct 13, 2021Updated 5 years ago
- ☆13Nov 20, 2015Updated 10 years ago
- Open the Terminal (Mac OS X, Linux) or Command Prompt (Windows) in the given directory via context menu or keyboard shortcut in the Atom …☆47Apr 6, 2018Updated 8 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Make sure your README doesn't contain broken code☆14Aug 1, 2025Updated last year
- Tiling window manager☆13Oct 20, 2024Updated 2 years ago
- Spectral analysis and training of dense layers☆17Jan 12, 2024Updated 2 years ago
- De-obfuscated payload from the September 8 2025 npm supply chain attack☆13Sep 8, 2025Updated last year
- Building github saved replies☆14Mar 15, 2023Updated 3 years ago
- Generalized Correspondence LDA (Python implementation)☆14Nov 18, 2017Updated 8 years ago
- Simulate a small network of simple, diverse spiking neurons and analyze results☆12Dec 19, 2021Updated 4 years ago