Trace runtime failures for solidity
☆30May 8, 2019Updated 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:
- ☆15Apr 9, 2019Updated 6 years ago
- Implementation of KYC smart contract☆10Sep 5, 2018Updated 7 years ago
- run truffle tests with jest☆10Sep 1, 2018Updated 7 years ago
- Tokenized proof-of-stake☆11Jan 30, 2019Updated 7 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆17Nov 12, 2018Updated 7 years ago
- Popularizer of Blockchain Technology☆17Nov 5, 2018Updated 7 years ago
- プラズマ日本語訳＋継続的改善インフラ / Ethereum Plasma whitepaper Japanese Edition + CI infra☆65Aug 3, 2018Updated 7 years ago
- Ethereum plasma implementation☆49Mar 21, 2018Updated 7 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 7 years ago
- a frontend for interacting with theCyber contracts and managing memberships.☆10Jun 11, 2018Updated 7 years ago
- ☆12Jan 7, 2023Updated 3 years ago
- Implementation of Minimal Viable Plasma in Vyper☆52Aug 12, 2020Updated 5 years ago
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- ☆24Jan 29, 2019Updated 7 years ago
- Decentralized exchange implementation for the 0xcert protocol on the Ethereum blockchain.☆17Aug 23, 2018Updated 7 years ago
- ☆18Sep 8, 2023Updated 2 years ago
- Remix Vyper Plugin☆19Sep 4, 2020Updated 5 years ago
- Metamask provider to run multiple networks without changing Metamask network☆17Jan 24, 2023Updated 3 years ago
- Fast and lightweight build tool for Solidity.☆22Jan 3, 2023Updated 3 years ago
- A template Ethereum Dapp project based on ReactJS and Redux☆68Apr 14, 2017Updated 8 years ago
- Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.☆20Jun 27, 2025Updated 8 months ago
- ☆20Jan 9, 2019Updated 7 years ago
- Implementation of Security DvP☆24May 17, 2020Updated 5 years ago
- FVyper: A collection of useful Vyper contracts developed with formal methods☆57Apr 19, 2021Updated 4 years ago
- Main chain smart contract for Bankex Plasma implementation☆46Jul 8, 2018Updated 7 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆24Jun 18, 2025Updated 8 months ago
- Learn all about Plasma with LearnPlasma!☆180Mar 3, 2023Updated 2 years ago
- Tapyrus Core☆48Feb 12, 2026Updated 2 weeks ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 7 years ago
- Zilliqa Token Generation☆21May 1, 2018Updated 7 years ago
- An on-chain, permission-based state machine builder.☆23Feb 12, 2025Updated last year
- Simple library to connect with dagger server and manage subscriptions for Ethereum Blockchain.☆222May 13, 2023Updated 2 years ago
- ⛓An Ethereum PoA private-chain environment on AWS.☆24Jun 11, 2020Updated 5 years ago
- We have opted to continue our development efforts towards Opporty's Plasma Cash development. To learn more about Opporty Plasma Cash, pl…☆34Jan 3, 2023Updated 3 years ago
- Bioinformatic Interpreter with Intel SGX☆24Jun 3, 2020Updated 5 years ago
- Smart contracts for creating Daox-based fundraising organization☆37Dec 4, 2018Updated 7 years ago
- Plasma Cash Contract & Client. ERC721, ERC20, and ETH compatible☆269Feb 15, 2019Updated 7 years ago
- ☆10Mar 6, 2023Updated 2 years ago
- Arduino Elevator Source code for AP computing Prototype Elevator project. Program operates a 3 story minature elevator. It changes the p…☆13May 7, 2019Updated 6 years ago