Trace runtime failures for solidity
☆29May 8, 2019Updated 7 years ago
Alternatives and similar repositories for sol-trace
Users that are interested in sol-trace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Apr 9, 2019Updated 7 years ago
- Tokenized proof-of-stake☆11Jan 30, 2019Updated 7 years ago
- The Ethereum Research companion: research summary, impacts, specifications, status, resources, implementations☆18Nov 12, 2018Updated 7 years ago
- Popularizer of Blockchain Technology☆17Nov 5, 2018Updated 7 years ago
- ☆12Jan 7, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- プラズマ日本語訳＋継続的改善インフラ / Ethereum Plasma whitepaper Japanese Edition + CI infra☆65Aug 3, 2018Updated 7 years ago
- A Solidity delegate call proxy that also `delegatecall`'s its constructor☆22Sep 21, 2018Updated 7 years ago
- Ethereum plasma implementation☆49Mar 21, 2018Updated 8 years ago
- a frontend for interacting with theCyber contracts and managing memberships.☆10Jun 11, 2018Updated 7 years ago
- A 64bit-TinyRAM simulator in Go☆13Oct 18, 2018Updated 7 years ago
- Solidity implementation of a delegate proxy☆90Mar 12, 2022Updated 4 years ago
- ☆18Sep 8, 2023Updated 2 years ago
- ⟁ Tendermint Core (BFT Consensus) in Go☆24Jun 18, 2025Updated 11 months ago
- Elastify the Ethereum blockchain☆25Aug 29, 2018Updated 7 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Implementation of Minimal Viable Plasma in Vyper☆51Aug 12, 2020Updated 5 years ago
- Simple library to connect with dagger server and manage subscriptions for Ethereum Blockchain.☆220May 13, 2023Updated 3 years ago
- Bioinformatic Interpreter with Intel SGX☆24Jun 3, 2020Updated 5 years ago
- OrientDB Database Interface for Erlang☆11Mar 7, 2014Updated 12 years ago
- A template Ethereum Dapp project based on ReactJS and Redux☆68Apr 14, 2017Updated 9 years ago
- Plasma Winter - an account model Plasma with with zkSNARK proved state transitions. Started on ETH Singapore☆30Dec 21, 2018Updated 7 years ago
- Anybody Problem simulates the 3-body problem in two dimensions using zk proofs written in circom.☆20Updated this week
- ☆10Apr 15, 2024Updated 2 years ago
- ☆14Jul 30, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆20Jan 9, 2019Updated 7 years ago
- Fast and lightweight build tool for Solidity.☆22Jan 3, 2023Updated 3 years ago
- Decentralized exchange implementation for the 0xcert protocol on the Ethereum blockchain.☆17Aug 23, 2018Updated 7 years ago
- XCLAIM(BTC,ETH): Solidity implementation for Bitcoin backed tokens on Ethereum☆21Mar 25, 2024Updated 2 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 7 years ago
- Learn all about Plasma with LearnPlasma!☆179Mar 3, 2023Updated 3 years ago
- All token icons on Polygon☆18Apr 16, 2026Updated last month
- Remix Vyper Plugin☆19Sep 4, 2020Updated 5 years ago
- Ethereum smart contracts to support the on-chain activity of the Jibrel☆13Jul 11, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- FVyper: A collection of useful Vyper contracts developed with formal methods☆57Apr 19, 2021Updated 5 years ago
- Solidity implementation of ACTUS Contract Types [MOVED]☆12Mar 9, 2020Updated 6 years ago
- Main chain smart contract for Bankex Plasma implementation☆46Jul 8, 2018Updated 7 years ago
- An on-chain, permission-based state machine builder.☆24Feb 12, 2025Updated last year
- Plasma bridge plugin for maticjs. It provides PlasmaClient to interact with plasma bridge.☆15Aug 6, 2024Updated last year
- Partial implementation of the Ethereum runtime in Solidity (PoC)☆78Dec 8, 2018Updated 7 years ago
- zk-STARK for fibonacci sequence in Rust☆36Sep 17, 2019Updated 6 years ago