bingle2000

Pinned Repositories

erc20
Full stack ERC20 Token App (Contract + Web + Mobile)
Language:HTML00
fabric-explorer
Fabric-explorer is a simple, powerful, maintainable, open source fabric explorer
Language:JavaScript00
go-ethereum
Official Go implementation of the Ethereum protocol
Language:Go00
manticore
Symbolic execution tool
Language:Python00
ospd
OSPD is a base class for vulnerability scanners which share the same communication protocol: OSP (Open Scanner Protocol)
Language:Python0 0 00
revive-cc
Static analysis tool for Hyperledger Frabric smart contracts written in Go.
Language:Go0 0 00
solidity
This is solc-verify, a modular verifier for Solidity.
Language:C++00
wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Language:WebAssembly0 0 00

bingle2000's Repositories

bingle2000/erc20
Full stack ERC20 Token App (Contract + Web + Mobile)
Language:HTML00
bingle2000/fabric-explorer
Fabric-explorer is a simple, powerful, maintainable, open source fabric explorer
Language:JavaScript00
bingle2000/go-ethereum
Official Go implementation of the Ethereum protocol
Language:Go00
bingle2000/manticore
Symbolic execution tool
Language:Python00
bingle2000/ospd
OSPD is a base class for vulnerability scanners which share the same communication protocol: OSP (Open Scanner Protocol)
Language:Python0 0 00
bingle2000/revive-cc
Static analysis tool for Hyperledger Frabric smart contracts written in Go.
Language:Go0 0 00
bingle2000/solidity
This is solc-verify, a modular verifier for Solidity.
Language:C++00
bingle2000/wasm-semantics
A Prototype Formal Semantics of WebAssembly in K
Language:WebAssembly0 0 00