phantom-types by antonagestam

Phantom types for Python.

created at Feb. 7, 2020, 9:28 p.m.

5 +0

183 +0

9 +0

typilus by typilus

Code for "Typilus: Neural Type Hints" PLDI 2020

created at March 25, 2020, 11:52 a.m.

4 +0

57 +1

21 +0

beartype by beartype

Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.

created at April 3, 2020, 6:06 a.m.

15 +0

2,445 +5

48 +0

strongtyping by FelixTheC

Decorator which checks whether the function is called with the correct type of parameters.

created at May 1, 2020, 2:46 p.m.

6 +0

104 +0

3 +0

typilus-action by typilus

A GitHub Action for suggesting Python type annotations.

created at May 4, 2020, 6:44 p.m.

6 +0

41 +0

5 +0

pynamodb-mypy by pynamodb

mypy plugin for PynamoDB

created at May 18, 2020, 2:35 p.m.

2 +0

4 +0

1 +0

pylance-release by Microsoft

Documentation and issues for Pylance

created at May 21, 2020, 4:50 p.m.

44 +0

1,658 +4

768 -1

lxml-stubs by lxml

Type stubs for the lxml package

created at May 23, 2020, 4:16 p.m.

7 +0

39 +0

29 +0

pyanalyze by quora

A Python type checker

created at May 26, 2020, 8 p.m.

9 +0

306 +2

35 +0

loguru-mypy by kornicameister

mypy plugin for loguru

created at June 1, 2020, 8:18 p.m.

4 +0

17 +0

3 +0

nbQA by nbQA-dev

Run ruff, isort, pyupgrade, mypy, pylint, flake8, and more on Jupyter Notebooks

created at July 11, 2020, 3:30 p.m.

8 +0

974 +1

38 +0

type4py by saltudelft

Type4Py: Deep Similarity Learning-Based Type Inference for Python

created at Nov. 4, 2020, 9:20 a.m.

8 +0

60 +0

13 +0

typing_utils by bojiang

Backport Python 3.8+ typing utils & add issubtype & more

created at Nov. 20, 2020, 2:32 p.m.

1 +0

11 +0

3 +0

trycast by davidfstr

trycast parses JSON-like values whose shape is defined by TypedDicts and other standard Python type hints.

created at Nov. 27, 2020, 3:14 a.m.

7 +0

70 +1

5 +0

kubernetes-typed by gordonbondon

mypy plugin to type check Kubernetes resources

created at Dec. 7, 2020, 2:34 a.m.

3 +0

19 +0

4 +0

future-typing by PrettyWood

Backport for type hinting generics in standard collections and union types as X | Y

created at Jan. 25, 2021, 10:09 p.m.

1 +0

16 +0

1 +0

celery-types by sbdchd

Type stubs for Celery and its related packages

created at Feb. 8, 2021, 1:40 a.m.

4 +0

68 +0

36 +0

flake8-type-checking by snok

Flake8 plugin for managing type-checking imports & forward references.

created at Feb. 23, 2021, 9:08 a.m.

4 +0

110 +0

15 +0

torchtyping by patrick-kidger

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

created at March 28, 2021, 6:19 p.m.

16 +0

1,337 +1

31 +0

typeforce by orsinium-labs

Make mypy more effective

created at April 15, 2021, 12:26 p.m.

3 +0

19 +0

2 +0