-
solidity Public
Forked from dongyu123/solidityThis is solc-verify, a modular verifier for Solidity.
C++ GNU General Public License v3.0 UpdatedDec 27, 2021 -
wasm-semantics Public
Forked from runtimeverification/wasm-semanticsA Prototype Formal Semantics of WebAssembly in K
WebAssembly Other UpdatedNov 3, 2021 -
go-ethereum Public
Forked from ethereum/go-ethereumOfficial Go implementation of the Ethereum protocol
Go GNU Lesser General Public License v3.0 UpdatedOct 13, 2021 -
ospd Public
Forked from greenbone/ospdOSPD is a base class for vulnerability scanners which share the same communication protocol: OSP (Open Scanner Protocol)
Python GNU Affero General Public License v3.0 UpdatedDec 4, 2020 -
manticore Public
Forked from trailofbits/manticoreSymbolic execution tool
Python GNU Affero General Public License v3.0 UpdatedOct 24, 2020 -
revive-cc Public
Forked from sivachokkapu/revive-ccStatic analysis tool for Hyperledger Frabric smart contracts written in Go.
Go GNU General Public License v3.0 UpdatedJul 29, 2020 -
fabric-explorer Public
Forked from xuehuiit/fabric-explorerFabric-explorer is a simple, powerful, maintainable, open source fabric explorer
JavaScript Apache License 2.0 UpdatedSep 27, 2018 -
erc20 Public
Forked from gliechtenstein/erc20Full stack ERC20 Token App (Contract + Web + Mobile)
HTML UpdatedApr 16, 2018
{{ message }}