6 results found Sort:

patrick-kidger
torchtyping patrick-kidger
34
1.4k
apache-2.0
16
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 3 months ago
patrick-kidger
jaxtyping patrick-kidger
63
1.2k
other
13
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
208 commits to main branch, last one a day ago
laike9m
Python-Type-Challenges laike9m
32
517
mit
6
Master Python typing (type hints) with interactive online exercises!
python type-hints python-typing python-education
Created 2023-10-23
237 commits to main branch, last one 14 days ago
wyfo
apischema wyfo
18
230
mit
9
JSON (de)serialization, GraphQL and JSON schema generation using Python typing.
json pypy3 python graphql openapi json-api validation dataclasses json-schema graphql-relay python-typing serialization graphql-python graphql-schema graphql-server json-schema-generator
Created 2019-08-08
543 commits to master branch, last one about a month ago
alexandermalyga
poltergeist alexandermalyga
3
131
mit
3
Rust-like error handling in Python, with type-safety in mind.
python python-types python-typing error-handling
Created 2022-12-03
78 commits to main branch, last one 7 months ago
patrick-kidger
quax patrick-kidger
3
105
apache-2.0
8
Multiple dispatch over abstract array types in JAX.
jax typing equinox python-typing multiple-dispatch
Created 2023-06-20
48 commits to main branch, last one 8 days ago