GitHub repository: sethgregory/Flipper-IRDB
Description: A collective of different IRs for the Flipper (maintained)