Type annotations and runtime checking for shape and dtype of JAX/NumPy/PyTorch/etc. arrays. https://docs.kidger.site/jaxtyping/
- jax
- python-typing
- typing
Repository Index
81,588 visible repositories in the index
1–3 of 3 · Most stars
Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.
- hedy
- gradual
- education
- programming
Structured concurrency made easy
- concurrency
- golang
- goroutine
- structured-concurrency