github action for python's mypy type checker tool
☆36May 12, 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:
- github action to run black☆27May 18, 2026Updated last week
- ☆14Nov 19, 2025Updated 6 months ago
- Automate Testing for Terraform with GitHub Actions and Terratest☆11Feb 24, 2020Updated 6 years ago
- Simple tutorial scripts for learning Structure from Motion by implementation☆12Dec 22, 2018Updated 7 years ago
- Python package to simplify development☆14Mar 25, 2026Updated 2 months 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 2 years ago
- Python Command line application (CLI) to delineate single trees from LiDAR data, DOM and DTM.☆15May 23, 2025Updated last year
- The purpose this solution provides is automated notifications for how many passed, not passed, failed, and warning findings for each memb…☆10Dec 5, 2022Updated 3 years ago
- Serverless Event Driven framework for Copying of Snapshots to a Disaster Recovery Account☆11Jun 19, 2024Updated last year
- Gmapping and Autonomous Navigation by an indoor farming bot.☆18Jun 21, 2018Updated 7 years ago
- 🌊 The modern MacPorts portfile updater 🌊☆16Dec 13, 2025Updated 5 months ago
- Pytest plugin type-checking tests, fixtures, and/or your codebase with @beartype.☆24Apr 15, 2026Updated last month
- ☯ Gitlab postman collections. Quick start exploring the Gitlab API within Postman ☯☆10Sep 2, 2020Updated 5 years ago
- Let your memories live forever by passing your knowledge to the next generation with SelfMemory.☆31Mar 28, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Deploying Grafana container service, on AWS ECS with high availability. Amazon Aurora Serverless database for storing dashboard, users, a…☆17Sep 17, 2019Updated 6 years 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
- Mock of streamlit to allow unit tests☆10Aug 4, 2022Updated 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
- Automation of serverless HTTP-based API (api gateway - lambda - mysql stack) with terraform on AWS☆11Jun 17, 2019Updated 6 years ago
- ☆11Nov 23, 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.
- 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
- Allows easy navigation of your ECS resources☆11May 24, 2017Updated 9 years ago
- Sample project with a very simple API build with Django Rest Framework to illustrate the use of AWS Fargate and Aurora Serverless with po…☆13Apr 21, 2023Updated 3 years ago
- 不自然なアルファベットを検知するtextlintルール☆15Apr 2, 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
- Python interface to the WikiTree API☆11Jul 25, 2024Updated last year
- Terraform boilerplate for production-grade Kubernetes clusters on AWS (optionally includes kube-system components, OpenVPN, an ingress co…☆14Sep 11, 2017Updated 8 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.
- rao-blackwellized particle filter implemented on grid map☆18Sep 6, 2020Updated 5 years ago
- ☆14Oct 3, 2022Updated 3 years ago
- A programming language that has a strong nature to be a glue of commands.☆48Jul 31, 2022Updated 3 years ago
- Plot and compare data recorded in the binary FIT (Garmin) and TKL files☆17Apr 2, 2025Updated last year
- Run mypy with reviewdog on pull requests to improve code writing experience.☆25Updated this week
- This workshop shows how to create Network Policies for Pods in Kubernetes.☆13Feb 16, 2023Updated 3 years ago
- ☆14Jun 13, 2022Updated 3 years ago