Last released May 31, 2026
A type system for numerical programs: write a spec, get a structural proof your code computes it.
Last released May 17, 2026
A tracing Python DSL for writing Metal compute kernels for Apple GPUs.
Supported by
