bingle2000's repositories
solidity
This is solc-verify, a modular verifier for Solidity.
GPL-3.0000
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
NOASSERTION000
go-ethereum
Official Go implementation of the Ethereum protocol
LGPL-3.0000
ospd
OSPD is a base class for vulnerability scanners which share the same communication protocol: OSP (Open Scanner Protocol)
AGPL-3.0000
manticore
Symbolic execution tool
AGPL-3.0000
revive-cc
Static analysis tool for Hyperledger Frabric smart contracts written in Go.
GPL-3.0000
fabric-explorer
Fabric-explorer is a simple, powerful, maintainable, open source fabric explorer
Apache-2.0000
erc20
Full stack ERC20 Token App (Contract + Web + Mobile)
000