1,425 results for “topic:typing”
为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers
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
A static type analyzer for Python code
Collection of library stubs for Python, with static types
The smartest way to learn touch typing and improve your typing speed.
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
Python TUI framework with mouse support, modular widget system, customizable and rapid terminal markup language and more!
Prisma Client Python is an auto-generated and fully type-safe database client designed for ease of use
Smassh your Keyboard, TUI Edition
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
Python static typing home. Hosts the documentation and a user help forum.
Differences between Flowtype and TypeScript -- syntax and usability
Animated typing in ~400 bytes 🐡 of JavaScript
Terminal-based typing test.
Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.
Typing animations with React
Python FFmpeg wrappers support filters with typing and docs
React typing animation in ~400 bytes 🐡 of JavaScript.
Cozy typing speed tester in terminal
A terminal based typing test.
🤝 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.
A TUI tool to help you type faster and learn new layouts. Includes a free cat.
yet another typing test, but crab flavoured
Rime Cantonese input schema | 中州韻粵語拼音輸入方案
Typed argument parser for Python
🪄 Auto-generate Streamlit UI from Pydantic Models and Dataclasses.
✨ sleek typing tui with visualized results and historical logging