GitHub repository: vyperlang/verified-vyper-contracts
Description: FVyper: A collection of useful Vyper contracts developed with formal methods