github action for python's mypy type checker tool
☆37Apr 1, 2026Updated last week
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 10 years ago
- ☆14Nov 19, 2025Updated 4 months ago
- Simple tutorial scripts for learning Structure from Motion by implementation☆12Dec 22, 2018Updated 7 years ago
- 弱い表現の利用を禁止するtextlintルール☆14Jul 19, 2023Updated 2 years ago
- Python package to simplify development☆14Mar 25, 2026Updated 2 weeks ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Julia Appveyor script☆14Sep 22, 2023Updated 2 years ago
- 🌊 The modern MacPorts portfile updater 🌊☆16Dec 13, 2025Updated 3 months ago
- Gmapping and Autonomous Navigation by an indoor farming bot.☆18Jun 21, 2018Updated 7 years ago
- Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.☆23Mar 3, 2026Updated last month
- Let your memories live forever by passing your knowledge to the next generation with SelfMemory.☆30Mar 28, 2026Updated last week
- ☆12Oct 23, 2024Updated last year
- Shape annotations for numpy arrays and pytorch/tensorflow tensors.☆14Jul 1, 2022Updated 3 years ago
- Template for easy launch of julia in codespace☆12Apr 25, 2023Updated 2 years ago
- Mock of streamlit to allow unit tests☆10Aug 4, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Building https://github.com/JuliaLang/julia for Alpine Linux☆11Mar 2, 2022Updated 4 years ago
- ☆11Nov 23, 2018Updated 7 years ago
- Check easy-to-read Hojodoushi(auxiliary verbs) written in Hiragana than Kanji.☆11Mar 8, 2023Updated 3 years ago
- 不自然なアルファベットを検知するtextlintルール☆15Apr 2, 2026Updated last week
- Notification tools for Julialang☆14Aug 16, 2020Updated 5 years ago
- Python interface to the WikiTree API☆11Jul 25, 2024Updated last year
- rao-blackwellized particle filter implemented on grid map☆18Sep 6, 2020Updated 5 years ago
- A programming language that has a strong nature to be a glue of commands.☆48Jul 31, 2022Updated 3 years ago
- Run mypy with reviewdog on pull requests to improve code writing experience.☆26Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Python library unifying Positron Emission Particle Tracking (PEPT) research, including tracking, simulation, data analysis and visualisat…☆14Feb 12, 2026Updated last month
- UCSD ECE 276A Winter 2020 Project 2: Particle Filter SLAM☆13Dec 8, 2022Updated 3 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 5 years ago
- A Python wrapper for the bit.ly API☆13Aug 25, 2022Updated 3 years ago
- A code formatting tool for Julia inspired by gofmt and rustfmt☆15Aug 28, 2018Updated 7 years ago
- Check easy-to-read Keishikimeishi(pronouns) written in Hiragana than Kanji.☆17Jul 1, 2021Updated 4 years ago
- ☆12Mar 12, 2018Updated 8 years ago
- A script to generate a dot language graph for a B+ tree☆13Nov 18, 2015Updated 10 years ago
- A backend script to aid installing Python packages in Gentoo☆21May 2, 2025Updated 11 months ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- Implementing the nonlinear model predictive control, sliding mode control☆13Dec 20, 2018Updated 7 years ago
- Have you ever dreamed of declaring the same function multiple times?☆12May 21, 2024Updated last year
- A GitHub action for setting reminders in issues and pull requests☆18Apr 1, 2026Updated last week
- Science Platform Infrastructure☆16Mar 19, 2026Updated 3 weeks ago
- pixi-to-conda-lock converts a pixi.lock file to a conda-lock.yml file☆15Jan 19, 2026Updated 2 months ago
- Hands-On Neural Networks with Keras, published by Packt☆23Jan 30, 2023Updated 3 years ago
- Run pyupgrade on all files in a directory, and optionally recursively.☆11Updated this week