btcd
A Bitcoin full-node implementation written in Go.
Developer tools & open source
Public crypto repository written primarily in Haskell.
shaunazzopardi/solidity-cfg-builder is a public GitHub repository with Haskell as its primary reported language. GitHub reports 28 stars and 2 forks at the latest snapshot. Its topics include control-flow-graph, ethereum-verificaton, solidity, solidity-analysis, solidity-contracts, solidity-language. Read the repository documentation, license and current issues before using the software.
A control-flow graph builder for Solidity smart contracts.
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.