6 results found Sort:

patrick-kidger
torchtyping patrick-kidger
31
1.3k
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
64 commits to master branch, last one about a year ago
patrick-kidger
jaxtyping patrick-kidger
49
1.0k
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
181 commits to main branch, last one a day ago
laike9m
Python-Type-Challenges laike9m
28
432
mit
6
Master Python typing (type hints) with interactive online exercises!
python type-hints python-typing python-education
Created 2023-10-23
225 commits to main branch, last one 2 months ago
wyfo
apischema wyfo
18
221
mit
8
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
541 commits to master branch, last one 8 months ago
alexandermalyga
poltergeist alexandermalyga
3
104
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 2 months ago
patrick-kidger
quax patrick-kidger
2
95
apache-2.0
8
Multiple dispatch over abstract array types in JAX.
jax typing equinox python-typing multiple-dispatch
Created 2023-06-20
30 commits to main branch, last one 24 days ago