weiserwx

3 ms·

1. 1.▲
   by weiserwx 3mo ago

   A DSL for machine learning programs: https://pypie.dev/ Embedded in Python, written like Python, but with static type safety (e.g. it catches tensor shape mismatches at compile time)
2. 2.▲
   PyPie, A DSL for Tensor Programming(pypie.dev)

   2 points by weiserwx 4mo ago|1 comments
3. 3.▲
   by weiserwx 4mo ago

   PyPie is a subset of Python built on a dependent type system to statically validate tensor shapes. We have made the "type surface" just rigorous enough but not too much: it catches shape mismatches without breaking the illusion th