soohoio / soohoLinks
Toolbox for auditing and patching vulnerabilities in smart contracts.
☆38Updated last year
Alternatives and similar repositories for sooho
Users that are interested in sooho are comparing it to the libraries listed below
Sorting:
- Plasma EVM contracts for Tokamak Network☆21Updated last year
- A library for interacting with Ethereum smart contracts based on RxJS streams.☆44Updated 2 years ago
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆41Updated 6 years ago
- Guide to auditing EVM smart contracts using tools☆22Updated 2 years ago
- Typescript implementation of Solidity Types☆8Updated 2 years ago
- A Smart Way to Operate Smart Contracts on EVM Based Blockchains like Ethereum☆85Updated 5 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated 2 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- A package for doing Solidity and Python-style C3-linearization in ECMAScript☆16Updated 7 years ago
- ☆16Updated 2 years ago
- CLI Tool to List & Store Solidity Smart Contract Methods Attributes☆30Updated 3 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- Solidity Merkle Mountain Range Library☆29Updated 2 years ago
- Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper)☆28Updated 6 years ago
- Autocomplete+ provider for Solidity☆9Updated 7 years ago
- Website for blockchain-related tools☆46Updated 2 years ago
- Single API for resolving Solidity artefacts and imports☆32Updated 2 years ago
- Quickly configure and launch a geth --dev ephemeral POA network.☆11Updated 2 years ago
- ☆39Updated 4 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated 2 years ago
- Secure smart contract development workshop hosted by ConsenSys Diligence and MythX.☆70Updated 5 years ago
- Test gas cost of multiple solidity contracts☆9Updated 3 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- Collection of articles about the Solidity language and compiler☆61Updated 2 years ago
- Implements a prototype and interactive simulation for the sharded pos ethereum 2.0.☆12Updated 6 years ago
- A modern, flexible Ethereum smart contract abstraction.☆26Updated 2 years ago
- ETHParis hackathon project☆13Updated 6 years ago
- The ultimate environment for Solidity development. A fully integrated project with all the tools you could need right at your disposal. …☆13Updated 2 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆31Updated last year
- Check for assertion violations on Solidity smart contracts using grey-box fuzzing and symbolic analysis.☆31Updated 2 years ago