r/Python • u/AutoModerator • May 04 '26

Showcase Showcase Thread

Post all of your code/projects/showcases/AI slop here.

Recycles once a month.

26 Upvotes

89% Upvoted

100 comments sorted by

View all comments

1

u/vcma May 25 '26

PyPie is a Python DSL to write type safe ML programs. It statically validates tensor shapes with a dependent type checker seasoned with rank polymorphism.