github action for python's mypy type checker tool
☆36Aug 16, 2026Updated last month
Alternatives and similar repositories for mypy-check
Users that are interested in mypy-check are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Least squares SLAM backend for pose graph-based loop closure in Python☆33Aug 29, 2015Updated 11 years ago
- GitHub Action for pyright☆97Updated this week
- ☆13Nov 19, 2025Updated 10 months ago
- 弱い表現の利用を禁止するtextlintルール☆14Jul 19, 2023Updated 3 years ago
- Simple tutorial scripts for learning Structure from Motion by implementation☆12Dec 22, 2018Updated 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.
- Julia Appveyor script☆14Sep 22, 2023Updated 3 years ago
- Mock of streamlit to allow unit tests☆10Aug 4, 2022Updated 4 years ago
- Python package to simplify development☆15Sep 3, 2026Updated 3 weeks ago
- 🌊 The modern MacPorts portfile updater 🌊☆16Dec 13, 2025Updated 9 months ago
- Template for easy launch of julia in codespace☆12Apr 25, 2023Updated 3 years ago
- Building https://github.com/JuliaLang/julia for Alpine Linux☆11Mar 2, 2022Updated 4 years ago
- AES implementation in Julia. Supports 128/192/256-bit keys and ECB/CBC/CFB/OFB/CTR.☆16Jun 20, 2020Updated 6 years ago
- ☆11Nov 23, 2018Updated 7 years ago
- ☆12Oct 23, 2024Updated last year
- 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.
- Some useful tools written in Matlab for Semantic KITTI☆16Feb 9, 2020Updated 6 years ago
- Check easy-to-read Hojodoushi(auxiliary verbs) written in Hiragana than Kanji.☆11Mar 8, 2023Updated 3 years ago
- Shape annotations for numpy arrays and pytorch/tensorflow tensors.☆14Jul 1, 2022Updated 4 years ago
- 不自然なアルファベットを検知するtextlintルール☆15Apr 2, 2026Updated 5 months ago
- Check easy-to-read Fukushi(adverbs) written in Hiragana than Kanji.☆15Mar 2, 2026Updated 6 months ago
- Notification tools for Julialang☆14Aug 16, 2020Updated 6 years ago
- A programming language that has a strong nature to be a glue of commands.☆48Jul 31, 2022Updated 4 years ago
- Using particle filter to fuse the wheel encoder, IMU and 2D lidar to localize the robot and create an occupancy grid map.☆15Apr 22, 2020Updated 6 years ago
- Run mypy with reviewdog on pull requests to improve code writing experience.☆25Updated this week
- 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.
- ☆13Apr 26, 2022Updated 4 years ago
- Python Flask & Template & Vue application example based on casdoor-python-sdk and casdoor-vue-sdk☆22Nov 24, 2023Updated 2 years ago
- THIS PROJECT IS DEPRECATED IN FAVOUR OF https://github.com/moonlibs/tarantoolapp☆10Jun 23, 2018Updated 8 years ago
- A Python wrapper for the bit.ly API☆13Aug 25, 2022Updated 4 years ago
- Check easy-to-read Keishikimeishi(pronouns) written in Hiragana than Kanji.☆17Jul 1, 2021Updated 5 years ago
- A code formatting tool for Julia inspired by gofmt and rustfmt☆15Aug 28, 2018Updated 8 years ago
- Cross-platform Rust library to prompt for things in console applications (Linux, BSD, OSX, Windows).☆16May 1, 2026Updated 4 months ago
- ☆18Dec 25, 2021Updated 4 years ago
- ☆12Mar 12, 2018Updated 8 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.
- Implementing the nonlinear model predictive control, sliding mode control☆13Dec 20, 2018Updated 7 years ago
- Run pyupgrade on all files in a directory, and optionally recursively.☆11Sep 14, 2026Updated last week
- Hands-On Neural Networks with Keras, published by Packt☆23Jan 30, 2023Updated 3 years ago
- 🧰 Development container features☆15Dec 13, 2025Updated 9 months ago
- Show a preview popup on quickfix entries☆72Jul 12, 2025Updated last year
- A backend script to aid installing Python packages in Gentoo☆21Sep 15, 2026Updated last week
- Python library unifying Positron Emission Particle Tracking (PEPT) research, including tracking, simulation, data analysis and visualisat…☆14Feb 12, 2026Updated 7 months ago