jpetrucciani / mypy-checkView external linksLinks
github action for python's mypy type checker tool
☆37Dec 16, 2025Updated last month
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☆95Updated this week
- C++/CLI compiler based on Clang.☆52May 21, 2014Updated 11 years ago
- Unlink auto links in tweet. Provided as Chrome extension, small webapp, CLI or npm package☆10Jan 9, 2024Updated 2 years ago
- Template for easy launch of julia in codespace☆12Apr 25, 2023Updated 2 years ago
- Next 13 app dir template☆14Dec 6, 2024Updated last year
- GitHub action to use the date command for the build process.☆15Mar 10, 2022Updated 3 years ago
- Action to convert a normal GitHub url to its corresponding raw url.☆11Aug 9, 2023Updated 2 years ago
- ☆14Nov 19, 2025Updated 2 months ago
- A programming language that has a strong nature to be a glue of commands.☆48Jul 31, 2022Updated 3 years ago
- Document Environment for spiegel-im-spiegel.github.io☆10Updated this week
- Sort package dependency lists in Pipfile.☆11Updated this week
- 悠里世界のOSのエミュレータ作ろうぜという計画☆10Aug 21, 2022Updated 3 years ago
- Add Git related mappings on file:// scheme of fern.vim☆12Sep 24, 2020Updated 5 years ago
- AEAD cipher based on ChaCha20 stream cipher and Poly1305 MAC☆10Feb 18, 2022Updated 3 years ago
- ☆19Apr 27, 2012Updated 13 years ago
- popup text around tag, local decraration, etc☆11Jun 23, 2019Updated 6 years ago
- ☆11Oct 29, 2021Updated 4 years ago
- msgpack-javascript ported to deno☆13Jun 13, 2021Updated 4 years ago
- GitHelpの汎用版☆13Jul 29, 2023Updated 2 years ago
- Provides common words of git commit message autocomplete for asyncomplete.vim☆12Dec 2, 2019Updated 6 years ago
- C90で頒布した "Plan 9 Assembler Handbook" の文章データ☆10Aug 14, 2016Updated 9 years ago
- Scripted automation in Vim using ghosts☆14Nov 4, 2016Updated 9 years ago
- Wanna play with git bisect or show your mates that splendid tool? This quick project will let you exercice easily and quickly 😃☆11Jan 5, 2023Updated 3 years ago
- jump to the Vim script's last error☆10Sep 20, 2021Updated 4 years ago
- A Filetype plugin for csv files.☆16Jan 16, 2015Updated 11 years ago
- Vim script's indentexpr supporting legacy Vim script syntax and Vim9 script syntax if possible.☆10Dec 16, 2022Updated 3 years ago
- Restart your gVim☆23Feb 24, 2020Updated 5 years ago
- Post from vim directly to slack☆13Apr 27, 2021Updated 4 years ago
- An IPC based on Websockets, fast, stable, and reliable☆13Sep 1, 2023Updated 2 years ago
- [WIP]☆10Aug 28, 2015Updated 10 years ago
- Vim plugin: Go to the changed block under the cursor from diff output☆17Apr 20, 2024Updated last year
- a python library for building interactive command line interfaces effortlessly. Inspired by clack.cc☆11Apr 25, 2025Updated 9 months ago
- Handle trailing colons and line numbers in the filename when `:edit`ing☆11Apr 29, 2024Updated last year
- ☆10Mar 7, 2016Updated 9 years ago
- GitHub action to setup Lua.☆10Jul 11, 2023Updated 2 years ago
- JSON RPC v2.0 Sans I/O☆11Updated this week
- Synchronize the filetype you are coding with the GitHub messages☆12Apr 20, 2021Updated 4 years ago
- Read-only mirror of https://gitlab.gnome.org/GNOME/gspell☆12Jan 26, 2026Updated 2 weeks ago
- A robust, scalable webhook verification framework supporting multiple platforms and signature algorithms.☆21Oct 12, 2025Updated 4 months ago