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