122 results found Sort:

2.9k
18.7k
other
241
Optional static typing for Python
Created 2012-12-07
12,211 commits to master branch, last one 13 hours ago
1.5k
15.9k
gpl-3.0
76
为键盘工作者设计的单词记忆与英语肌肉记忆锻炼软件 / Words learning and English muscle memory training software designed for keyboard workers
Created 2021-01-21
811 commits to master branch, last one about a month ago
⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.
Created 2021-04-20
413 commits to main branch, last one 9 days ago
282
4.8k
other
54
A static type analyzer for Python code
Created 2015-03-18
6,920 commits to main branch, last one 2 days ago
1.8k
4.4k
other
77
Collection of library stubs for Python, with static types
Created 2015-03-05
9,983 commits to main branch, last one 16 hours ago
58
2.3k
mit
19
Python TUI framework with mouse support, modular widget system, customizable and rapid terminal markup language and more!
Created 2021-03-31
1,449 commits to master branch, last one about a month ago
197
2.2k
agpl-3.0
13
The smartest way to learn touch typing and improve your typing speed.
Created 2023-09-25
1,292 commits to master branch, last one 9 days ago
Prisma Client Python is an auto-generated and fully type-safe database client designed for ease of use
Created 2020-12-16
930 commits to main branch, last one 25 days ago
Differences between Flowtype and TypeScript -- syntax and usability
Created 2016-12-22
78 commits to master branch, last one 4 years ago
242
1.6k
other
64
Python static typing home. Hosts the documentation and a user help forum.
Created 2014-09-29
889 commits to main branch, last one 23 hours ago
Animated typing in ~400 bytes 🐡 of JavaScript
Created 2019-09-27
29 commits to master branch, last one 2 years ago
50
1.4k
gpl-3.0
10
Smassh your Keyboard, TUI Edition
Created 2022-02-01
927 commits to main branch, last one 2 months ago
34
1.4k
apache-2.0
16
Type annotations and dynamic checking for a tensor's shape, dtype, names, etc.
Created 2021-03-28
67 commits to master branch, last one 4 months ago
124
1.4k
other
16
Typing animations with React
Created 2015-10-03
141 commits to master branch, last one 3 years ago
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
Created 2023-12-02
9,180 commits to main branch, last one 11 hours ago
Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
Created 2022-06-23
209 commits to main branch, last one 18 days ago
134
1.2k
gpl-3.0
8
在网页上背单词
Created 2023-08-03
410 commits to master branch, last one 5 months ago
Terminal-based typing test.
Created 2021-02-15
203 commits to main branch, last one 2 months ago
React typing animation in ~400 bytes 🐡 of JavaScript.
Created 2019-10-21
20 commits to master branch, last one 5 years ago
Cozy typing speed tester in terminal
Created 2022-03-25
268 commits to master branch, last one about a month ago
25
761
mit
14
🤝 Design by contract for Python. Write bug-free code. Add a few decorators, get static analysis and tests for free.
Created 2018-01-25
1,279 commits to master branch, last one about a month ago
49
755
mit
8
A terminal based typing test.
Created 2020-12-22
81 commits to master branch, last one about a year ago
Yet another serialization library on top of dataclasses, inspired by serde-rs.
Created 2018-12-05
1,038 commits to main branch, last one a day ago
A TUI tool to help you type faster and learn new layouts. Includes a free cat.
Created 2024-05-21
19 commits to master branch, last one 28 days ago
31
598
mit
5
yet another typing test, but crab flavoured
Created 2022-01-10
141 commits to main branch, last one 9 months ago
101
571
apache-2.0
25
Mypy plugin and stubs for SQLAlchemy
Created 2018-08-07
141 commits to master branch, last one 2 years ago
21
542
unknown
16
Python 3.5+ runtime type checking for integration testing and data validation
Created 2015-09-27
125 commits to master branch, last one 7 years ago
18
538
mit
5
✨ sleek typing tui with visualized results and historical logging
Created 2022-03-08
61 commits to main branch, last one 2 years ago
Typed argument parser for Python
Created 2019-08-16
468 commits to main branch, last one 12 days ago
Typed.js integration for vue.js. Create a typing animation.
Created 2018-05-14
18 commits to master branch, last one 5 years ago