btcd
A Bitcoin full-node implementation written in Go.
Developer tools & open source
Public crypto repository written primarily in Solidity.
lisa-analyzer/evm-lisa is a public GitHub repository with Solidity as its primary reported language. GitHub reports 38 stars and 4 forks at the latest snapshot. Its topics include abstract-interpretation, cfg, control-flow-graph, ethereum, evm-bytecode, smart-contracts. Read the repository documentation, license and current issues before using the software.
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
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.