Patrick Collins's starred repositories
curve-stablecoin
Stablecoin powered by LLAMMAs
ethereum_formal_verification_overview
Overview of the formal verification projects in the Ethereum ecosystem.
cyfrin-audit-reports
A list of public audit reports conducted by the Cyfrin team
VenmoApiDocumentation
Venmo API Documentation
report-generator-template
A markdown-based template for generating Cyfrin audit reports, forked from Spearbit.
alchemy_sdk_py
An SDK to use the Alchemy API