Library and command-line tool to gather stats on typeshed packages
☆12Updated this week
Alternatives and similar repositories for typeshed-stats
Users that are interested in typeshed-stats are comparing it to the libraries listed below
Sorting:
- Scripts and actions to auto-upload typeshed stubs to PyPI☆36Updated this week
- Add default values to stubs☆19Jan 5, 2026Updated last month
- A Python type checker☆28Updated this week
- Retrieve information from typeshed and other typing stubs☆30Jan 5, 2026Updated last month
- serverless puppet to manage my machines☆13Feb 16, 2026Updated last week
- Meta-repository for PSF backed or managed systems. Created mainly for the issue tracker :)☆11Apr 8, 2022Updated 3 years ago
- The Discord bot for the mCoding Discord server.☆12Jun 7, 2023Updated 2 years ago
- Source code for the mypy web site☆16Sep 11, 2025Updated 5 months ago
- ☆20Dec 21, 2025Updated 2 months ago
- Automated builds of mypy_mypyc wheels☆20Updated this week
- Decisions by the Python Typing Council☆51Oct 2, 2024Updated last year
- Cornell INFO 3350 Fall 2023☆11Dec 5, 2023Updated 2 years ago
- Run Python type checkers over millions of lines of code☆107Feb 17, 2026Updated last week
- Main color theme compatible with "Xi" wiki markup language☆23Feb 14, 2026Updated 2 weeks ago
- Type annotations for SQLAlchemy☆25Nov 13, 2018Updated 7 years ago
- Stubs for PyQt5☆71Jul 23, 2023Updated 2 years ago
- A generic dependency-resolution library written in pure Python☆84Aug 10, 2020Updated 5 years ago
- An alphanumeric COLRv0 font made from Twemoji's rat emoji 🐀🐀🐀☆10Mar 23, 2022Updated 3 years ago
- For all your lunch (automation) needs!☆10May 16, 2019Updated 6 years ago
- The pythonineducation.org website☆32Apr 9, 2022Updated 3 years ago
- Main repository of the Open RDF Streaming Benchmark Suite☆16Apr 6, 2025Updated 10 months ago
- ☆13Dec 16, 2025Updated 2 months ago
- Unofficial repository with translation☆14Sep 28, 2025Updated 5 months ago
- QMK Homebrew Formulae☆16May 28, 2025Updated 9 months ago
- MIP21 example☆15Jun 20, 2022Updated 3 years ago
- A Gitter client API in Python☆10Jul 6, 2017Updated 8 years ago
- A Redis-compatible in-memory database server written in Rust with MLua-based Lua 5.1 scripting☆17Nov 28, 2025Updated 3 months ago
- Fruchterman-Reingold layout plugin for d3.js☆11Mar 8, 2016Updated 9 years ago
- Diffusion for EEG☆11Jan 2, 2023Updated 3 years ago
- A jailbreak tweak to respring your device using the hardware buttons☆11Jun 9, 2020Updated 5 years ago
- PHPStan extension for WordPress☆12Nov 15, 2025Updated 3 months ago
- Optimized Circuit Generation for Secure Multiparty Computation☆12Nov 25, 2019Updated 6 years ago
- ☆14Dec 10, 2025Updated 2 months ago
- ARCHIVED: Adds table editing controls to the visual content editor (TinyMCE).☆13Mar 11, 2022Updated 3 years ago
- Collecting examples of unsoundness in the Python type system☆76Feb 21, 2026Updated last week
- notes, config, tools, etc. for kicking the tires on cockroachdb☆11Apr 8, 2025Updated 10 months ago
- Zensical's documentation☆29Updated this week
- Proving ground for changes to attohttpc☆12Jun 16, 2025Updated 8 months ago
- Homework assignments for Cornell ORIE 4741☆14Nov 25, 2021Updated 4 years ago