github action for python's mypy type checker tool
☆36Apr 22, 2026Updated 2 weeks ago
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 5 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
- Julia Appveyor script☆14Sep 22, 2023Updated 2 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.
- Python Command line application (CLI) to delineate single trees from LiDAR data, DOM and DTM.☆15May 23, 2025Updated 11 months ago
- Gmapping and Autonomous Navigation by an indoor farming bot.☆18Jun 21, 2018Updated 7 years ago
- 🌊 The modern MacPorts portfile updater 🌊☆16Dec 13, 2025Updated 4 months ago
- Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.☆23Apr 15, 2026Updated 3 weeks ago
- ☆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 3 years ago
- AES implementation in Julia. Supports 128/192/256-bit keys and ECB/CBC/CFB/OFB/CTR.☆16Jun 20, 2020Updated 5 years ago
- Building https://github.com/JuliaLang/julia for Alpine Linux☆11Mar 2, 2022Updated 4 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.
- ☆11Nov 23, 2018Updated 7 years ago
- 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
- 不自然なアルファベットを検知するtextlintルール☆15Apr 2, 2026Updated last month
- Read-only mirror of https://gitlab.gnome.org/GNOME/gspell☆12Mar 17, 2026Updated last month
- Notification tools for Julialang☆14Aug 16, 2020Updated 5 years ago
- Check easy-to-read Fukushi(adverbs) written in Hiragana than Kanji.☆15Mar 2, 2026Updated 2 months ago
- 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Run mypy with reviewdog on pull requests to improve code writing experience.☆25May 2, 2026Updated last week
- Python library unifying Positron Emission Particle Tracking (PEPT) research, including tracking, simulation, data analysis and visualisat…☆14Feb 12, 2026Updated 2 months ago
- 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 6 years ago
- GitHub actions to build wheels for nogil Python☆14Apr 8, 2024Updated 2 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
- ☆12Mar 12, 2018Updated 8 years ago
- Implementing the nonlinear model predictive control, sliding mode control☆13Dec 20, 2018Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A rust implementation of Andrej Karpathy's Micrograd☆15Apr 28, 2025Updated last year
- ☆17Jun 20, 2023Updated 2 years ago
- An easy to use decorator for persistent memoization in Python: like `functools.lrucache`, but results can be saved in any format to any s…☆20Mar 14, 2025Updated last year
- A GitHub action for setting reminders in issues and pull requests☆17Updated this week
- pixi-to-conda-lock converts a pixi.lock file to a conda-lock.yml file☆15Jan 19, 2026Updated 3 months ago
- Science Platform Infrastructure☆16Updated this week
- Hands-On Neural Networks with Keras, published by Packt☆23Jan 30, 2023Updated 3 years ago