GitHub repository: symtegration/symtegration
Primary language: Haskell
Description: Haskell library for symbolic integration.