Pinned Repositories
abstEVM
Ethereum Formal Semantics for Gas Consumption Analysis
chai-ethers
Chai Matchers for ethers type (copied from @ethereum-waffle/chai but without dependencies on ganache-core, etc...)
echidna
Echidna GitHub Action Workfllow
evmtool
evmtool binary, extracted from hyperledger besu
Forerunner
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
hammerhead
Packages of assorted Solidity/Vyper testing contracts
monorepo
Contract Shark Modules
RAplus
RA+ - EVM Exploit generator
slither-cloud-action
A GitHub Action for running Slither in the cloud
vscode-solidity-extension
Visual Studio Code Extension for Solidity Highlighting and Syntax
ContractShark's Repositories
contractshark/vscode-solidity-extension
Visual Studio Code Extension for Solidity Highlighting and Syntax
contractshark/Forerunner
Forerunner: Constraint-based Speculative Transaction Execution for Ethereum
contractshark/monorepo
Contract Shark Modules
contractshark/devenv
contractshark/ganache-core
Core code for Ganache
contractshark/hammerhead
Packages of assorted Solidity/Vyper testing contracts
contractshark/chai-ethers
Chai Matchers for ethers type (copied from @ethereum-waffle/chai but without dependencies on ganache-core, etc...)
contractshark/astexplorer
A web tool to explore the ASTs generated by various parsers.
contractshark/bean-contracts
contractshark/dpacker
Webpack debundler
contractshark/eth-calldata-decoder
Easily decode Ethereum calldata with the contract address or custom ABI
contractshark/eth2-merge-kurtosis-module
A module for testing the Ethereum 2 merge
contractshark/ethjs-query
A simple query module for the Ethereum RPC.
contractshark/exa
A modern replacement for ‘ls’.
contractshark/foundry-book
A book on all things Foundry, available at https://book.getfoundry.sh.
contractshark/FoundryIntegration
Certora integration with the Forge testing framework of Foundry
contractshark/ghidra-evm
contractshark/go-ethereum
Official Go implementation of the Ethereum protocol
contractshark/InvCon
contractshark/InvConPlus
Fork of @Franklinliu/InvConPlus-Tool
contractshark/optimized-dracula-theme
Optimized dracula theme vscode extension for flutter, web, electron and golang development.
contractshark/prettier-plugin-solidity
Prettier plugin for Solidity
contractshark/primitive-dodoc
☄️ Zero-config Hardhat plugin to generate documentation for all your Solidity contracts.
contractshark/rektosaurus
A test suite to check for client-side script injection on websites that display NFTs.
contractshark/rust-playground
The Rust Playground
contractshark/shark
contractshark/tree-sitter-solidity
Solidity grammar for tree sitter
contractshark/tx-fuzz
contractshark/vscode-fzf-quick-open
vscode extension providing quick file/folder open and searching using fzf
contractshark/vscode-sane
VSCode Sane base extensions - verified extensions that interop/wont cause issues