Optional static typing for Python

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

⚡ 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

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

Differences between Flowtype and TypeScript -- syntax and usability

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

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

Animated typing in ~400 bytes 🐡 of JavaScript

Typing animations with React

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

Smassh your Keyboard, TUI Edition

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

React typing animation in ~400 bytes 🐡 of JavaScript.

Terminal-based typing test.

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

Cozy typing speed tester in terminal

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

Yet another serialization library on top of dataclasses, inspired by serde-rs.