Give AlbumentationsX a star on GitHub — it powers this leaderboard
An algebra for Matrix Expressions written in Maude