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 Smart Way to Operate Smart Contracts on EVM Based Blockchains like Ethereum☆85Updated 5 years ago
- 플라즈마 백서 한글번역본(Plasma Whitepaper Korean version)☆34Updated 7 years ago
- Plasma EVM client☆24Updated 2 years ago
- Website for blockchain-related tools☆46Updated 2 years ago
- Merklux is a framework for general state plasma with economic incentives☆9Updated 2 years ago
- Decentralized Money Market☆10Updated 2 years ago
- A Solidity parser for JS built on top of a robust ANTLR4 grammar☆24Updated 2 years ago
- 0x Protocol v2 Audit☆26Updated 5 years ago
- ☆15Updated 4 years ago
- A library for interacting with Ethereum smart contracts based on RxJS streams.☆44Updated 2 years ago
- Guide to auditing EVM smart contracts using tools☆22Updated 2 years ago
- 👾 A mutation testing tool for Solidity contracts☆48Updated 6 years ago
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆38Updated 3 years ago
- ☆10Updated 2 years ago
- Typescript implementation of Solidity Types☆8Updated 2 years ago
- A programmable open source blockchain engine☆38Updated 2 years ago
- A program that annotates a vm trace with dataflow information☆35Updated 3 years ago
- ☆12Updated 2 years ago
- Autocomplete+ provider for Solidity☆9Updated 7 years ago
- Super easy interactive shell for interacting with smart contract on any evm chain.☆63Updated last month
- Istanbul BFT configuration tools☆20Updated 2 years ago
- Ethereum 9 3/4's zk-SNARKs circuits and the python library for Mimblewimble on Ethereum☆82Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆46Updated 3 years ago
- BiFi is a DeFi project by the BIFROST team.☆28Updated 3 years ago
- Collection of articles about the Solidity language and compiler☆61Updated last year
- A benchmark suite for evaluating the precision of EVM code analysis tools.☆41Updated 6 years ago
- ☆24Updated 3 years ago
- A package for doing Solidity and Python-style C3-linearization in ECMAScript☆16Updated 7 years ago
- National Treasure DAO☆18Updated 3 years ago