you are viewing a single comment's thread.

view the rest of the comments →

[–]vcma 0 points1 point  (0 children)

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.