120 results found Sort:

2.8k
18.5k
other
238
Optional static typing for Python
Created 2012-12-07
12,142 commits to master branch, last one a day ago
1.5k
15.7k
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 12 days 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
406 commits to main branch, last one 12 days ago
279
4.8k
other
55
A static type analyzer for Python code
Created 2015-03-18
6,909 commits to main branch, last one 8 days ago
1.8k
4.4k
other
75
Collection of library stubs for Python, with static types
Created 2015-03-05
9,853 commits to main branch, last one 3 hours ago
57
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 8 days ago
181
2.0k
agpl-3.0
11
The smartest way to learn touch typing and improve your typing speed.
Created 2023-09-25
1,209 commits to master branch, last one 18 hours ago
Prisma Client Python is an auto-generated and fully type-safe database client designed for ease of use
Created 2020-12-16
929 commits to main branch, last one 2 months ago
Differences between Flowtype and TypeScript -- syntax and usability
Created 2016-12-22
78 commits to master branch, last one 4 years ago
238
1.6k
other
64
Python static typing home. Hosts the documentation and a user help forum.
Created 2014-09-29
880 commits to main branch, last one 2 days ago
Animated typing in ~400 bytes 🐡 of JavaScript
Created 2019-09-27
29 commits to master branch, last one 2 years 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 3 months ago
124
1.4k
other
16
Typing animations with React
Created 2015-10-03
141 commits to master branch, last one 2 years ago
48
1.4k
gpl-3.0
9
Smassh your Keyboard, TUI Edition
Created 2022-02-01
927 commits to main branch, last one about a month 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
208 commits to main branch, last one a day ago
pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server
Created 2023-12-02
9,060 commits to main branch, last one a day ago
129
1.2k
gpl-3.0
8
在网页上背单词
Created 2023-08-03
410 commits to master branch, last one 4 months ago
Terminal-based typing test.
Created 2021-02-15
203 commits to main branch, last one about a month 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 24 days ago
25
754
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 12 days ago
49
743
mit
7
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,028 commits to main branch, last one 3 days ago
A TUI tool to help you type faster and learn new layouts. Includes a free cat.
Created 2024-05-21
18 commits to master branch, last one 5 months ago
31
595
mit
5
yet another typing test, but crab flavoured
Created 2022-01-10
141 commits to main branch, last one 8 months ago
102
572
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
543
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
532
mit
4
✨ 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
458 commits to main branch, last one about a month 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