There are 0 repository under integration-rules topic.
Rubi for Mathematica
All integration rules categorized and downloadable as PDF
This is a C++ quadrature library reengineered from GSL and with new things added such as double exponential methods.