Last released Oct 29, 2021
A library for pattern matching on symbolic expressions.
Last released Jan 14, 2019
An experimental tool for the automatic generation of optimized code for linear algebra problems.
Supported by
