(OLD REPO) A debug-oriented Ethereum VM (EVM)
☆115Jul 25, 2018Updated 8 years ago
Alternatives and similar repositories for hevm
Users that are interested in hevm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository has been moved to dapphub/dapptools☆249Jun 13, 2018Updated 8 years ago
- A compiler from mini-STG to Wasm (**far from complete**)☆14Jun 13, 2017Updated 9 years ago
- EVM disassembler☆567May 9, 2022Updated 4 years ago
- ☆26Dec 10, 2017Updated 8 years ago
- (OLD REPO) The command-line Ethereum army knife by DappHub☆147Jan 24, 2019Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Multisig with a command-line interface☆20Nov 22, 2018Updated 7 years ago
- Type-level assertion operators☆16Mar 20, 2018Updated 8 years ago
- Code coverage for solidity☆64Jul 20, 2017Updated 9 years ago
- A Lem formalization of EVM and some Isabelle/HOL proofs☆245Mar 24, 2022Updated 4 years ago
- Authenticated Data Structures☆16Jul 5, 2015Updated 11 years ago
- Hacking together a containerized environment for Ethereum development with Truffle using Parity☆21May 23, 2017Updated 9 years ago
- Bamboo see https://github.com/cornellblockchain/bamboo☆323Mar 24, 2022Updated 4 years ago
- Smart Contract tools to help streamline Ethereum dapp development and deployment☆13Oct 16, 2017Updated 9 years ago
- 📄 Counterfactual: Generalized State Channels Paper☆57Aug 7, 2018Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts☆934Jan 10, 2019Updated 7 years ago
- Standalone Ethereum Virtual Machine☆52Jan 12, 2022Updated 4 years ago
- An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"☆15Aug 8, 2018Updated 8 years ago
- ☆59Apr 17, 2022Updated 4 years ago
- Language Design Community for the EVM: Intro and Resources☆134Aug 1, 2017Updated 9 years ago
- An agent-based model of decentralized dispute resolution oracle.☆12Oct 4, 2018Updated 8 years ago
- Ethereum Virtual Machine tools and guide☆446Jun 26, 2021Updated 5 years ago
- a sound modern language for computation and transactional resource logic☆101Sep 23, 2016Updated 10 years ago
- A Dutch auction crowdsale dapp☆18Oct 13, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Materials for the devcon4 workshop☆14Nov 1, 2018Updated 8 years ago
- Confidential Transactions with Reusable Commitments on Ethereum☆16Mar 16, 2020Updated 6 years ago
- Boilerplate and tests for the first Solidity Gas Golfing Contest☆51May 24, 2018Updated 8 years ago
- Experiments in abstracting definitional interpreters☆16Oct 13, 2017Updated 9 years ago
- An append only list in a compact region☆25Sep 6, 2018Updated 8 years ago
- Ethereum Virtual Machine Awesome List☆851Feb 26, 2026Updated 8 months ago
- A generic token-curated registry☆10Nov 28, 2018Updated 7 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 7 years ago
- Ethereum VM Contract Simulator☆16Apr 13, 2026Updated 6 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Translations of standard contracts from Solidity to Vyper.☆12May 30, 2018Updated 8 years ago
- Specify Servant routes with records☆87Jul 6, 2018Updated 8 years ago
- compiler with polyhedral optmization for a lazy functional programming language☆68Oct 8, 2017Updated 9 years ago
- Scripts for working with new Substrate projects☆66Jun 13, 2022Updated 4 years ago
- Hack idiom-brackets using GHC Source Plugin (8.6+)☆26Jul 7, 2018Updated 8 years ago
- JavaScript Implementation of the IPLD format - Ethereum Block☆12Nov 20, 2017Updated 8 years ago
- OTP-like supervision trees in Haskell☆62May 21, 2019Updated 7 years ago