typing

Optional static typing for Python

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

A static type analyzer for Python code

Collection of library stubs for Python, with static types

⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text. Typing SVGs can be used as a bio on your GitHub profile readme or repository.

Differences between Flowtype and TypeScript -- syntax and usability

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

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

Typing animations with React

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

Animated typing in ~400 bytes 🐡 of JavaScript

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

React typing animation in ~400 bytes 🐡 of JavaScript.

A typing application to level up your fingers!

Terminal-based typing test.

Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.

Python 3.5+ runtime type checking for integration testing and data validation

Mypy plugin and stubs for SQLAlchemy

Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays.

Cozy typing speed tester in terminal