Weixi Ma

Creator of PyPie

#98496120 followers 0 following

>10,000All time

0 KP

Badges

Tastemaker

Maker History

PyPiePython DSL for type safe ML programs
May 2026

🎉

Joined Product HuntMay 25th, 2026

Forums

•

8h ago

PyPie - Python DSL for type safe ML programs

PyPie statically catches tensor shape mismatches, using a dependent type checker seasoned with rank polymorphism. It's a Python DSL that can be embedded in any Python programs.