GitHub repository: wuyudi/Rubi
Primary language: Mathematica
Description: Rubi for Mathematica