simular
Smart contract simulator
A Python API that wraps around an embedded Ethereum Virtual Machine (EVM) for smart contract interaction and modeling
A Python smart-contract API with a blazingly fast (embedded) Ethereum Virtual Machine (EVM)
10 stars
2 watching
0 forks
Language: Python
last commit: 5 months ago Related projects:
| Repository | Description | Stars |
|---|---|---|
 arbazkiraak/smartcontractlearning | A Solidity-based smart contract framework for learning and interacting with Ethereum contracts | 17 |
 algorand/pyteal | Provides a Python interface to Algorand Smart Contracts enabling developers to create and manage smart contracts using a high-level, functional programming style | 285 |
 leonardoalt/tinyzkevm | A proof-of-concept implementation of a small subset of the Ethereum Virtual Machine (EVM) inside a Smart Contracting Language (SNARK), using ZoKrates. | 46 |
 danielvf/evm-contract-draw | A tool for visualizing and analyzing the byte code of Ethereum smart contracts | 122 |
 pipermerriam/populus | A development framework for Ethereum smart contracts with built-in testing and release management tools | 13 |
 simtopia/verbs | A tool for building and simulating complex systems using agent-based modeling techniques | 22 |
 a16z/halmos | A symbolic testing tool for EVM smart contracts written in Python | 815 |
 ethereum/populus | A Python framework built on top of Ethereum that allows developers to create and deploy smart contracts for various use cases | 321 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 516 |
 tokenika/eosfactory | Automates smart-contract testing and deployment on EOSIO blockchain | 243 |
 anthias-labs/arbiter | A tool for simulating stateful Ethereum smart contracts in a sandbox environment | 681 |
 raineorshine/solidity-by-example | A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts | 430 |
 sandialabs/snl-quest | A platform for energy storage simulation and analysis using Python and various tools | 129 |
| ethereum/btcrelay | An Ethereum contract that enables the verification and relaying of Bitcoin transactions to other smart contracts. | 614 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |