Unbearably fast near-real-time pure-Python runtime-static type-checker.
- python3
- runtime-typechecking
- static-typechecking
Repository Index
47,133 repositories indexed
1–15 of 15 · Most stars
TranslatedAutomatically claims the daily check-in points and all Growth Center rewards for WorkBuddy / Qoder CN — Buddy travel gifts, dispatching Buddy, opening blind boxes, claiming tasks, consecutive-login redemption, and make-up check-ins for broken login streaks are all covered. No extra dependencies to install; with one sentence, you can have AI automatically set up a Windows / macOS scheduled task, running silently with zero Token usage.
- auto-checkin
- automation
- python
- sign-in
Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.
- tensors
- named-tensors
- shape
- pytorch
FactCircuit: an auditable claim-and-evidence verification loop with immutable provenance, staged checks, bounded retrieval, and reproducible evaluation.
- accuracy-decline
- ai-safety
- audit-trail
- fact-checking
Stubs of most MicroPython ports, boards and versions to make writing code that much simpler.
- micropython
- vscode
- type-checking
- static-typing
Typing-toolbox for Python 3 _and_ 2.7 w.r.t. PEP 484.
- python
- typechecking
- override
- pep484
The World's Most Comprehensive, Authoritative, and Structured Open Source Data Source Knowledge Base
- mcp
- data-sources
- ai
- awesome-list
Flake8 Type Annotation Checking
- python
- python3
- flake8-plugin
- type-annotations
Re-apply type annotations from .pyi stubs to your codebase.
- python
- python3
- typing
- type-checking
Flake8 plugin for managing type-checking imports & forward references.
- flake8-plugin
- flake8
- typing
- flake8-extensions
Decorator which checks whether the function is called with the correct type of parameters.
- python
- type-checking
- runtime-checking
- typechecking
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.
- code-formatter
- code-generation
- mypy
- pyannotate
trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.
- parsing
- python
- typechecking
- runtime-typechecking
A plugin for Flake8 that provides specializations for type hinting stub files
- flake8
- python
- linter
- linter-plugin
Package for running linters, formatters, static type checkers, and code analysis tools on python code in quarto (.qmd) files.