This repo extends Catlab.jl with more theories, including graphical linear algebra.
Future work will incorporate knowledge from String Diagram Rewrite Theory, and we will perform optimization of linear algebra computations with an e-graphs approach (which is applicable to theories beyond GLA).