GitHub repository: ramsdell/agum
Primary language: Haskell
Description: Unification and Matching in an Abelian Group