#Typing
Showing 46 of 46 repositories tagged #typing, ranked by stars
Optional static typing for Python
A fast type checker and language server for Python
Collection of library stubs for Python, with static types
A static type analyzer for Python code
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!
Smassh your Keyboard, TUI Edition
Differences between Flowtype and TypeScript -- syntax and usability
Terminal-based typing test.
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
Typed argument parser for Python
An extremely flexible and configurable data model conversion library.
β¨ sleek typing tui with visualized results and historical logging
An elegant typing test website
Typing test in your terminal
Typed.js integration for vue.js. Create a typing animation.
Command line tool for improving typing skills (programmers friendly)
Typing speed test in terminal
Runtime inspection utilities for Python typing module
MIGRATED TO CODEBERG. Python library to load dynamically typed data into statically typed data structures
A fake terminal where kids can type anything and get fun responses. Teaches keyboard familiarity and cause-effect thinking.
Woodwork is a Python library that provides robust methods for managing and communicating data typing information.
The app provides an interactive typing experience with switchable templates, designed to help users improve their typing speed and accuracy
A multi-featured typing practice tool that runs on a terminal emulator which can turn any text file into a typing game.
A type wrapper for the standard library `datetime` that supplies stricter checks, such as making 'datetime' not substitutable for 'date', and separating out Naive and Aware datetimes into separate, mutually-incompatible types.
Python Stubs for Odoo
A WIP TUI typing trainer inspired by monkeytype with a focus on customization
single handed typing trainer
Integrate mypy in seconds with existing codebase. A friendly CLI tool to make mypy report only new type violations and ignore existing ones.
terminal typing practice
VS Code extension to add cursor transitions while typing, similar to MS Office and the Windows 10 Mail app.
Command line game to practice your typing speed by competing against typer-robot or against your best result
CodeSprint is a typing practice environment for software engineers that uses real LeetCode-style code snippets instead of lorem ipsum, tracking WPM, accuracy, and errors in real time inside a minimal, keyboardβfirst Next.js/React UI.
:zap: pandas data creation by data classes
"Hack" like a programmer in movies and games! Inspired by hackertyper.net
Typio: Make Your Terminal Type Like a Human
Communicate with the Open Source TCGdex API in Javascript/Typescript using the SDK
An advanced, easy-to-use key remapper for Linux
Cross-platform app that automatically expands user defined abbreviations into any text.
β¨οΈ Open-source keyboard layout text converter for macOS β fix text typed in wrong layout. Double-Shift hotkey, 5 layouts, greedy line detection, menu bar app.