Developer tools & open source✦Editorial profile
btcd
A Bitcoin full-node implementation written in Go.
☆ 6,711 +0 / 7dView listing
Developer tools & open source
Certora/SecurityReports
Public crypto repository.
What it does
Certora/SecurityReports is a public GitHub repository. GitHub reports 34 stars and 3 forks at the latest snapshot. Its topics include blockchain, certora, certora-prover, ethereum, formal-verification, security-audits. Read the repository documentation, license and current issues before using the software.
Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits for leading Web3 protocols on EVM-based chains, Solana, and Stellar.
GitHub repositories
- Stars
- 34
- Stars gained · 7 days
- +1
- Forks
- 3
- Primary language
- Not checked
- Repository license
- Not checked
- Last code push
- 24 Aug 2026
Popularity comes from GitHub stars. Seven-day growth appears after a full week of local snapshots; this is our collection, not GitHub’s official trending chart.
Sources & freshness
GitHub ↗Source refreshed · 15 Oct 2026
Imported records link to their sources. An entry is a discovery aid, not an endorsement.