ComposableSecurity's tracked open-source repos, sorted by stars.
Smart Contract Security Verification Standard
