btcd
A Bitcoin full-node implementation written in Go.
Developer tools & open source
Public crypto repository written primarily in OCaml.
danhper/evm-analyzer is a public GitHub repository with OCaml as its primary reported language. GitHub reports 27 stars and 5 forks at the latest snapshot. Its topics include blockchain, ethereum, program-analysis, smart-contracts. Read the repository documentation, license and current issues before using the software.
Code for Smart Contract Vulnerabilities: Vulnerable Does Not Imply Exploited
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.
Imported records link to their sources. An entry is a discovery aid, not an endorsement.