taco (hackage): Types and a compiler for tensor expressions.
Keywords: bsd3|library|numeric|compiler|compilers|domain-specific-language|linear-algebra|matrix|multilinear-maps|sparse-data|tensor|tensor-algebra|tensor-algebra-compiler