github action for python's mypy type checker tool
☆37Dec 16, 2025Updated 3 months ago
Alternatives and similar repositories for mypy-check
Users that are interested in mypy-check are comparing it to the libraries listed below
Sorting:
- GitHub Action for pyright☆97Updated this week
- Least squares SLAM backend for pose graph-based loop closure in Python☆33Aug 29, 2015Updated 10 years ago
- ☆14Nov 19, 2025Updated 4 months ago
- 弱い表現の利用を禁止するtextlintルール☆14Jul 19, 2023Updated 2 years ago
- Python package to simplify development☆14Feb 2, 2026Updated last month
- Julia Appveyor script☆14Sep 22, 2023Updated 2 years ago
- Python Command line application (CLI) to delineate single trees from LiDAR data, DOM and DTM.☆15May 23, 2025Updated 9 months ago
- 🌊 The modern MacPorts portfile updater 🌊☆16Dec 13, 2025Updated 3 months ago
- Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.☆23Mar 3, 2026Updated 2 weeks ago
- Gmapping and Autonomous Navigation by an indoor farming bot.☆18Jun 21, 2018Updated 7 years ago
- Let your memories live forever by passing your knowledge to the next generation with SelfMemory.☆30Mar 5, 2026Updated 2 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 2 years ago
- Mock of streamlit to allow unit tests☆10Aug 4, 2022Updated 3 years ago
- AES implementation in Julia. Supports 128/192/256-bit keys and several cipher modes of operation.☆16Jun 20, 2020Updated 5 years ago
- Building https://github.com/JuliaLang/julia for Alpine Linux☆11Mar 2, 2022Updated 4 years ago
- ☆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ルール☆15Jan 21, 2026Updated last month
- Python interface to the WikiTree API☆11Jul 25, 2024Updated last year
- 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 weeks 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
- Python library unifying Positron Emission Particle Tracking (PEPT) research, including tracking, simulation, data analysis and visualisat…☆14Feb 12, 2026Updated last month
- Lightweight, engine-agnostic dataframe validation☆18Oct 4, 2025Updated 5 months ago
- UCSD ECE 276A Winter 2020 Project 2: Particle Filter SLAM☆13Dec 8, 2022Updated 3 years ago
- Sort package dependency lists in Pipfile.☆11Feb 11, 2026Updated last month
- 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
- GitHub actions to build wheels for nogil Python☆14Apr 8, 2024Updated last year
- A Python wrapper for the bit.ly API☆13Aug 25, 2022Updated 3 years ago
- Check easy-to-read Keishikimeishi(pronouns) written in Hiragana than Kanji.☆17Jul 1, 2021Updated 4 years ago
- flee agent-based modelling code☆17Updated this week
- Simple script to re-rank images using OpenAI's CLIP https://github.com/openai/CLIP.☆15May 3, 2021Updated 4 years ago
- Cross-platform Rust library to prompt for things in console applications (Linux, BSD, OSX, Windows).☆15Apr 20, 2025Updated 11 months 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 10 months ago