typing

为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers

一款 Python 静态类型检查器

⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.

A static type analyzer for Python code

Collection of library stubs for Python, with static types

#编辑器#A fast type checker and IDE for Python

The smartest way to learn touch typing and improve your typing speed.

练习英语，一次敲击，一点进步；Practice English, One Keystroke at a Time.

Python TUI framework with mouse support, modular widget system, customizable and rapid terminal markup language and more!

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

Prisma Client Python is an auto-generated and fully type-safe database client designed for ease of use

Differences between Flowtype and TypeScript -- syntax and usability

Smassh your Keyboard, TUI Edition

Python static typing home. Hosts the documentation and a user help forum.

Animated typing in ~400 bytes 🐡 of JavaScript

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/

Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.

Typing animations with React

Terminal-based typing test.

Python FFmpeg wrappers support filters with typing and docs