integration-rules
There are 3 repositories under integration-rules topic.
RuleBasedIntegration/Rubi
Rubi for Mathematica
emsr/cxx_integration
This is a C++ quadrature library reengineered from GSL and with new things added such as double exponential methods.
RuleBasedIntegration/IntegrationRules
All integration rules categorized and downloadable as PDF