Ty: A fast Python type checker and language server
arathore Wednesday, May 07, 2025
Summary
Ty is a programming language that aims to provide a simple, yet powerful and type-safe, way to write concurrent and parallel programs. It features a novel type system that allows for safe concurrent programming and automatic parallelization.
873
283
Summary
github.com