为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers
Repository Index
47,133 repositories indexed
1–24 of 35 · Most stars
Optional static typing for Python
⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.
A fast type checker and language server for Python
Collection of library stubs for Python, with static types
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
Animated typing in ~400 bytes 🐡 of JavaScript
Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.
Mypy plugin and stubs for SQLAlchemy
A Python type checker
Runtime inspection utilities for Python typing module
A fast and efficient type assistant for Python, including tensor shape inference
A simple plugin that allows running mypy from PyCharm and navigate between errors
Automatically add simple type annotations to your code
Useful tools for Sorbet enthusiasts
Phantom types for Python.
Based Python static type checker with baseline, sane default settings and based typing features
Re-apply type annotations from .pyi stubs to your codebase.
Augmented text display system for libGDX, based on typing-label
Flake8 plugin for managing type-checking imports & forward references.
PowerToys Run plugin for typing the input text as if it was sent from a keyboard.
Node.js ORM written in TypeScript for type lovers.
Rust like Option and Result types in Python
A CLI tool to automatically add type annotations into Python code. Must have tool for annotating existing code.