Rubi (Rule-based Integrator)'s repositories
IntegrationRules
All integration rules categorized and downloadable as PDF
RuleBasedIntegration.github.io
The Rule-Based Integration (Rubi) website source files
JOSS-Publication
Text-sources for the publication of Rubi in the Journal of Open-Source Software
MIT000
IntegratorTestProgram
Mathematica program for testing Rubi and Mathematica's built-in integrator
MIT000