Search Results - RepositoryStats

mypy python

2.9k

19.1k

other

237

Optional static typing for Python

types linter python typing typechecker

Created 2012-12-07

12,450 commits to master branch, last one a day ago

qwerty-learner RealKai42

1.8k

18.1k

gpl-3.0

77

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

typing typing-game typing-practice typingspeedtest english-learning

Created 2021-01-21

890 commits to master branch, last one 16 days ago

readme-typing-svg DenverCoder1

1.1k

6.6k

mit

32

⚡ Dynamically generated, customizable SVG that gives the appearance of typing and deleting text for use on your profile page, repositories, or website.

php svg github readme typing dynamic animation hacktoberfest profile-readme

Created 2021-04-20

426 commits to main branch, last one 6 days ago

pytype google

284

4.9k

other

54

A static type analyzer for Python code

types linter python typing typechecker static-analysis static-code-analysis

Created 2015-03-18

6,930 commits to main branch, last one 8 days ago

typeshed python

1.8k

4.6k

other

76

Collection of library stubs for Python, with static types

stub types python typing

Created 2015-03-05

10,303 commits to main branch, last one 7 hours ago

keybr.com aradzie

247

2.6k

agpl-3.0

14

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

typing keyboard typing-tutor keyboard-layout

Created 2023-09-25

1,344 commits to master branch, last one 3 days ago

pytermgui bczsalba

59

2.4k

mit

19

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

cli gui tui ansi python typing console python3 terminal pytermgui command-line cross-platform ansi-escape-codes ansi-escape-sequences

Created 2021-03-31

1,451 commits to master branch, last one 3 months ago

prisma-client-py RobertCraigie

85

2.0k

apache-2.0

16

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

orm mysql prisma python sqlite typing asyncio mongodb database pydantic python37 python38 python39 python310 postgresql type-hints python-types

Created 2020-12-16

931 commits to main branch, last one 6 days ago

basedpyright DetachHead

39

1.7k

other

8

pyright fork with various type checking improvements, improved vscode support and pylance features built into the language server

based python typing pylance pyright

Created 2023-12-02

9,508 commits to main branch, last one 21 hours ago

typescript-vs-flowtype niieani

79

1.7k

mit

37

Differences between Flowtype and TypeScript -- syntax and usability

flow typing flowtype reference comparison typescript documentation hacktoberfest javascript-tools

Created 2016-12-22

78 commits to master branch, last one 5 years ago

typing python

250

1.6k

other

64

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

types python typing static-typing gradual-typing

Created 2014-09-29

904 commits to main branch, last one a day ago

typical camwiegert

61

1.6k

mit

9

Animated typing in ~400 bytes 🐡 of JavaScript

module typing animation javascript

Created 2019-09-27

29 commits to master branch, last one 3 years ago

smassh kraanzu

53

1.5k

gpl-3.0

10

Smassh your Keyboard, TUI Edition

tui rich typing python3 textual monkeytype typingspeed terminal-based typingspeedtest

Created 2022-02-01

927 commits to main branch, last one 6 months ago

torchtyping patrick-kidger

34

1.4k

apache-2.0

14

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

shape typing pytorch tensors named-tensors python-typing

Created 2021-03-28

67 commits to master branch, last one 8 months ago

react-typist jstejada

126

1.4k

other

15

Typing animations with React

react typing typist reactjs animations typing-animation

Created 2015-10-03

141 commits to master branch, last one 3 years ago

jaxtyping patrick-kidger

69

1.4k

other

11

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

jax typing python-typing

Created 2022-06-23

237 commits to main branch, last one 2 days ago

typing-word zyronon

156

1.3k

gpl-3.0

9

在网页上背单词

typing typing-game typing-word english-learn learn-english typing-practice typingspeedtest memorizing-words

Created 2023-08-03

410 commits to master branch, last one 8 months ago

ttyper max-niederman

86

1.2k

mit

7

Terminal-based typing test.

cli tui rust typing terminal typing-game terminal-based typing-practice

Created 2021-02-15

204 commits to main branch, last one 2 months ago

react-typical catalinmiron

66

1k

unknown

7

React typing animation in ~400 bytes 🐡 of JavaScript.

react typing typical animation javascript react-typical

Created 2019-10-21

20 commits to master branch, last one 5 years ago

typioca bloznelis

25

842

mit

8

Cozy typing speed tester in terminal

cli tui golang typing terminal typingtest typingspeedtest

Created 2022-03-25

269 commits to master branch, last one 23 days ago

tt lemnos

49

806

mit

8

A terminal based typing test.

go golang typing terminal typingtest

Created 2020-12-22

81 commits to master branch, last one about a year ago

deal life4

29

780

mit

13

🤝 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,295 commits to master branch, last one 27 days ago

pyserde yukinarit

43

756

mit

8

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

json toml yaml serde python typing msgpack dataclasses serialization

Created 2018-12-05

1,052 commits to main branch, last one about a month ago

ngrrram wintermute-cell

16

660

gpl-3.0

3

A TUI tool to help you type faster and learn new layouts. Includes a free cat.

cat cli tui rust ngram dvorak layout typing colemak touchtyping

Created 2024-05-21

19 commits to master branch, last one 4 months ago

toipe Samyak2

33

629

mit

4

yet another typing test, but crab flavoured

tui rust typing terminal typing-test hacktoberfest

Created 2022-01-10

141 commits to main branch, last one about a year ago

sqlalchemy-stubs dropbox

101

573

apache-2.0

24

Mypy plugin and stubs for SQLAlchemy

sql mypy stubs types python typing sqlalchemy

Created 2018-08-07

141 commits to master branch, last one 2 years ago

typed-argument-parser swansonk14

43

554

mit

6

Typed argument parser for Python

types python typing python3 argument-parser argument-parsing

Created 2019-08-16

469 commits to main branch, last one about a month ago

thokr jrnxf

17

549

mit

4

✨ sleek typing tui with visualized results and historical logging

cli tui rust typing terminal monkeytype typing-game typing-practice

Created 2022-03-08

61 commits to main branch, last one 2 years ago

enforce RussBaz

21

543

unknown

15

Python 3.5+ runtime type checking for integration testing and data validation

python typing runtime testing decorators type-hints validation typechecker

Created 2015-09-27

125 commits to master branch, last one 7 years ago

streamlit-pydantic lukasmasuch

75

521

mit

9

🪄 Auto-generate Streamlit UI from Pydantic Models and Dataclasses.

forms python typing pydantic streamlit type-hints dataclasses json-schema streamlit-library streamlit-component

Created 2021-07-09

196 commits to main branch, last one 7 months ago