maticnetwork / sol-traceLinks
Trace runtime failures for solidity
☆31Updated 6 years ago
Alternatives and similar repositories for sol-trace
Users that are interested in sol-trace are comparing it to the libraries listed below
Sorting:
- FVyper: A collection of useful Vyper contracts developed with formal methods☆55Updated 4 years ago
- More Minimal Plasma☆45Updated 6 years ago
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Updated 6 years ago
- Main chain smart contract for Bankex Plasma implementation☆46Updated 7 years ago
- M O N O R E P O☆69Updated 2 years ago
- Ethereum plasma implementation☆49Updated 7 years ago
- Learn all about Plasma with LearnPlasma!☆180Updated 2 years ago
- ☆15Updated 6 years ago
- OVM specs & contracts☆36Updated 2 years ago
- All In One stateful Plasma-Cash client, browser compatible☆43Updated 2 years ago
- Implementation of Minimal Viable Plasma in Vyper☆51Updated 5 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51Updated 7 years ago
- Simple Ethereum event tracking☆55Updated 7 years ago
- smart contract implementation according to the Plasma MVP spec.☆79Updated 3 years ago
- Deprecated repo in favour of https://github.com/zeppelinos/zos☆62Updated 7 years ago
- Reliable stream of Ethereum blocks☆85Updated 10 months ago
- A force-move protocol implementation☆55Updated 2 years ago
- 🛡️ Authereum smart contracts☆56Updated 3 years ago
- LeapDAO's implementation of More Viable Plasma / Plasma Leap☆48Updated 2 years ago
- Root chain contracts for Plasma☆115Updated 2 years ago
- 🇳🇱✖️DutchX core smart contracts☆45Updated 5 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Updated 6 years ago
- Proof of concept for the contracts implementing TPL☆74Updated 3 years ago
- Core functionality for debugging Solidity files built with Truffle☆67Updated 7 years ago
- 🗜️Ethereum blockchain orchestration, testing, and command line interface.☆105Updated 3 years ago
- Oracle service for TokenBridge. TB is an interoperability solution between Ethereum networks for native to ERC20 and ERC20 to ERC20 cross…☆109Updated 3 years ago
- Ethereum meta-transaction concept☆33Updated 3 years ago
- Code coverage for solidity☆65Updated 8 years ago
- Interesting discussions within the Ethereum community.☆45Updated 3 years ago
- 👯 speedy, parallelized, hot-reloading solidity test framework☆76Updated 7 years ago