GitHub repository: Certora/badger-onchain-rewards
Primary language: Solidity
Description: Generalized onChain reward contract that allows to retroactively reward depositors with any token