A set of type stubs for popular Python packages. These are works in progress from the Microsoft Python team and others, with the intent that they are contributed to typeshed or to the associated packages once sufficiently complete.
☆28Aug 22, 2023Updated 2 years ago
Alternatives and similar repositories for python-type-stubs
Users that are interested in python-type-stubs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- hikalium's lifestyle guide☆13Feb 16, 2025Updated last year
- Highly-customizable dotfiles manager☆14Feb 19, 2023Updated 3 years ago
- GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly☆14Jul 21, 2026Updated last week
- github api v3 for nim☆15Mar 1, 2023Updated 3 years ago
- Build and packaging nimble binary package for Windows, macOS and Linux.☆13Updated this week
- 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.
- Program which generates ASCII pictures of a kuu with a message [maintainers=@natsukium]☆11Oct 17, 2024Updated last year
- ALMOは拡張Markdownパーサ・静的サイトジェネレータです。WebAssemblyを使ってブラウザ上で完結する実行環境を提供し、サーバを必要としないサンプルコードの実行環境やジャッジシステムを提供するページの構築を可能にします。☆16Apr 14, 2026Updated 3 months ago
- Are you SATySFi-ed with Nix?☆14Mar 6, 2023Updated 3 years ago
- kensaku.vim + Telescope live grep☆16Jun 4, 2023Updated 3 years ago
- KdB を CSV, JSON などの形式でパースしたデータリポジトリ☆12Updated this week
- Totsugekitai DeBugger☆21May 19, 2024Updated 2 years ago
- Arduino Library implementing a generic, dynamic stack (array version).☆11Feb 4, 2018Updated 8 years ago
- My recent pull requests on GitHub. Feel free to fork it!☆14Updated this week
- ☆13Jan 12, 2024Updated 2 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.
- NixCon 2025 Website☆14Sep 17, 2025Updated 10 months ago
- A repository to order a pizza☆17Dec 6, 2023Updated 2 years ago
- My configuration files☆18Apr 14, 2026Updated 3 months ago
- Sample implementation of RDBMS.☆21Updated this week
- tools for the book "Concepts of Programming Languages"☆21Apr 12, 2026Updated 3 months ago
- ☆44Oct 25, 2015Updated 10 years ago
- Run SPIR-V shaders in WebAssembly☆15Oct 29, 2022Updated 3 years ago
- A website to list where is vending machines at University of Tsukuba.☆18Jun 1, 2026Updated last month
- intel を越える☆16Jun 4, 2017Updated 9 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.
- Typeset source code with SATySFi☆16Jan 1, 2025Updated last year
- WebSocket Server implementation in Erlang.☆15Nov 11, 2010Updated 15 years ago
- Todoist API client library for Scala☆16Mar 5, 2016Updated 10 years ago
- The PureScript implementation for the *Types and Programming Language* by B. Pierce☆19Jun 3, 2024Updated 2 years ago
- Nix Expressions for Altera(Intel) Quartus☆17Oct 28, 2020Updated 5 years ago
- SATySFi Support for VSCode☆20Jun 28, 2026Updated last month
- An extensible 2D game engine for Nim, inspired by Bevy Engine☆19Oct 4, 2024Updated last year
- Record and playback a terminal session☆15Feb 4, 2013Updated 13 years ago
- The repository is no longer maintained. See https://github.com/s7tya/gakicc.☆16Jan 23, 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.
- 2023年度未踏IT人材発掘・育成事業芝山PJの関連書類☆15Apr 19, 2024Updated 2 years ago
- 未踏IT人材発掘・育成事業用 成果報告書Template (Typst)☆16Mar 1, 2025Updated last year
- Benchmarks and faster constructs for Clojure☆14Apr 9, 2018Updated 8 years ago
- Python wrapper for Zoom Video API with an OAUTH Wizard☆38May 19, 2025Updated last year
- Lecture notes for the M1 course AWS: Applications Web et Securité☆10Jun 17, 2019Updated 7 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆24Jun 21, 2025Updated last year
- ☆12Jul 27, 2020Updated 6 years ago