Top 1 pipes-operator open source projects

shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)