ContractShark

Pinned Loading

1. vscode-solidity-extension vscode-solidity-extension Public

   Visual Studio Code Extension for Solidity Highlighting and Syntax

   Solidity 29 18

2. evmtool evmtool Public

   evmtool binary, extracted from hyperledger besu

   Shell 2

3. slither-cloud-action slither-cloud-action Public

   A GitHub Action for running Slither in the cloud

   Makefile 3

4. abstEVM abstEVM Public

   Forked from thomas-genet/abstEVM

   Ethereum Formal Semantics for Gas Consumption Analysis

   Isabelle

5. chai-ethers chai-ethers Public

   Forked from wighawag/chai-ethers

   Chai Matchers for ethers type (copied from @ethereum-waffle/chai but without dependencies on ganache-core, etc...)

   TypeScript

6. hammerhead hammerhead Public

   Packages of assorted Solidity/Vyper testing contracts

   Solidity 1 4