mypy github action
☆15Nov 6, 2024Updated last year
Alternatives and similar repositories for mypy-github-action
Users that are interested in mypy-github-action are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A language server implementation for pysen☆10Nov 14, 2021Updated 4 years ago
- Stochastic Machines for Unsupervised Learning implemented in Pytorch.☆10Sep 3, 2017Updated 8 years ago
- ☆23Jun 8, 2015Updated 11 years ago
- Muscle Language "Tython"☆18May 28, 2014Updated 12 years ago
- Quoridor Game AI in TypeScript☆15Jan 7, 2023Updated 3 years ago
- 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.
- catsを完全に理解するためのドキュメント☆20Feb 10, 2020Updated 6 years ago
- ☆13Aug 28, 2018Updated 7 years ago
- redash query tool like psql☆18Mar 4, 2026Updated 4 months ago
- マイナンバーカードと電子署名の本☆17Sep 3, 2021Updated 4 years ago
- xml2yolo☆18Feb 26, 2024Updated 2 years ago
- 📎 Do something on your clipboard, automatically.☆24Sep 3, 2024Updated last year
- ☆15Jan 8, 2026Updated 6 months ago
- ☆10Dec 15, 2016Updated 9 years ago
- An action to spin up docker compose environment within GitHub Actions.☆17Jan 11, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆17Jan 14, 2025Updated last year
- simple command-line utility that converts a given time from one timezone to another.☆26Updated this week
- Python で全角・半角・ひらがな・カタカナ等を変換する☆16Sep 20, 2016Updated 9 years ago
- A backend service for the sample app "PARROT", designed using Clean Architecture principles. This project was created as a practice exerc…☆22Feb 15, 2023Updated 3 years ago
- Rust template development environment using VSCode's RemoteContainers☆23Dec 18, 2022Updated 3 years ago
- a go implementation of uuid47☆36Jun 19, 2026Updated 2 weeks ago
- Amazon MWS API client☆17Apr 5, 2018Updated 8 years ago
- ☆14Mar 26, 2026Updated 3 months ago
- The calculator of the Japanese holiday in Scala☆46Nov 18, 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.
- 🔐 Read certificates, sign and verify documents using your JPKI card.☆41Feb 3, 2026Updated 5 months ago
- 日本人専用のAI顔学習モデル「JAPANESE FACE」。dlib顔学習モデルと比較して、偽陽性が出にくい新たな顔学習モデルです。☆27Jul 13, 2024Updated last year
- Netstorage API for Golang☆17Nov 23, 2021Updated 4 years ago
- Benchmark for Japanese document embedding & vector search☆29Mar 12, 2024Updated 2 years ago
- android kiosk example☆22Feb 7, 2018Updated 8 years ago
- 👋 WIP: Say good-bye to HTML, a document markup which is not for applications.☆38Feb 22, 2024Updated 2 years ago
- 🎨 create high-quality desktop icons from svg source☆23Apr 27, 2024Updated 2 years ago
- NES emulator written in golang☆21Nov 9, 2019Updated 6 years ago
- Accommodation Search Dialog Corpus (宿泊施設探索対話コーパス)☆25Jan 19, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A GitHub Action for adding a related issue reference to a pull request.☆19Apr 10, 2022Updated 4 years ago
- Start Apache, Like A (php) B(uiltin)S(erver).☆27Apr 22, 2020Updated 6 years ago
- Gmail CLI client.☆32Apr 25, 2020Updated 6 years ago
- Japanese word embedding with Sudachi and NWJC 🌿☆176Mar 1, 2024Updated 2 years ago
- Python linting made easy. Also a casual yet honorific way to address individuals who have entered an organization prior to you.☆492Jun 15, 2026Updated 3 weeks ago
- Open source smart card tools and middleware. PKCS#11/MiniDriver/Tokend☆59Oct 4, 2017Updated 8 years ago
- WSDL Parser for Golang☆73May 28, 2013Updated 13 years ago