repos
280
ecosystems
69
languages
18
commits
5,490
─── top repos · by commits
─── repositories
280 totalSymbolic and concrete EVM execution engine
Dapp, Seth, Hevm, and more
Dapp, Seth, Hevm, and more
K framework proof explorer & smart contract specification format
dapptools with added matic network functionality
K framework proof explorer & smart contract specification format
Smart contract specification language
formal verification of multicollateral dai in the K framework
formal verification of multicollateral dai in the K framework
A gas free offering of common Dai and Chai operations
Dai Automated Clearing House
Archive of the Formal Verification blog
Formal semantics of the yul language
Ethereum Proof-of-Stake Consensus Specifications
Ethereum 2.0 Specifications
Ethereum Proof-of-Stake Consensus Specifications
Ethereum Proof-of-Stake Consensus Specifications
Ethereum 2.0 Specifications
Ethereum Proof-of-Stake Consensus Specifications
(Ivan's Fork) Ethereum Consensus Specs
Ethereum 2.0 Specifications
Ethereum Proof-of-Stake Consensus Specifications
ERC20 wrapper over the Dai Savings Rate
K Semantics of the Ethereum Virtual Machine (EVM)
https://chai.money - A ui for your Chai
Implementation of Rholang in the K framework
K Semantics of the Ethereum Virtual Machine (EVM)
Dai Stablecoin System
K Semantics of the Ethereum Virtual Machine (EVM)
Dai Stablecoin System
Dai Stablecoin System
Dai Stablecoin System
Curio StableCoin System
Materials for the devcon4 workshop
Formalization of the Beacon Chain Phase 0 Specification in K
Schedule function calls that can only be executed once some delay has elapsed
Schedule function calls that can only be executed once some delay has elapsed
Fast Ethereum RPC client for testing and development. See https://github.com/trufflesuite/ganache for current development.
:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.
approval voting to select who wears the hat by consensus
ETH->ERC20 with extra opinions
Code for the dapp.tools website
Fast Ethereum RPC client for testing and development
Fast Ethereum RPC client for testing and development
GodMode wrapper for using GodMode on a Ganache Ethereum RPC client. Based on Truffle ganache-cli.
approval voting to select who wears the hat by consensus
Core code for ganache
Fast Ethereum RPC client for testing and development
Core code for Ganache
Fast Ethereum RPC client for testing and development
Shyft:Ganache Core (code for the TestRPC)
Shyft:Ganache-cli (Fast Ethereum RPC client for testing and development)
Core code for Ganache
Core code for Ganache
Fast Ethereum RPC client for testing and development
Core code for ganache
Core code for Ganache
Fast Ethereum RPC client for testing and development
Fast Ethereum RPC client for testing and development
A tool for creating a local blockchain for fast Ethereum development.
Core code for Ganache
Fast Ethereum RPC client for testing and development
RBTC-> ERC20
Fast Ethereum RPC client for testing and development
Core code for Ganache
Core code for Ganache
Core code for the TestRPC
A tool for creating a local blockchain for fast Ethereum development.
Core code for ganache
Core code for ganache
Core code for ganache
ETH->ERC20 with extra opinions
Schedule function calls that can only be executed once some delay has elapsed
Fast Ethereum RPC client for testing and development
:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.
Testrpc modified for solidity coverage: master branch: v3.0.3, coverage branch: v.4.0.1
Core code for the TestRPC modified to generate coverage for Solidity contracts
Fast Ethereum RPC client for testing and development
Fast Ethereum RPC client for testing and development
Core code for Ganache
Fast Ethereum RPC client for testing and development
Fast Ethereum RPC client for testing and development
Fast Ethereum RPC client for testing and development
Fast Ethereum RPC client for testing and development
Fast Ethereum RPC client for testing and development
Approval voting to select who wears the Hat by consensus
Your things should be DSThings
Token governance contracts for GEB
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
Dai Stablecoin Simulation
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Improvement Proposal repository
The Ethereum Request for Comment repository
Set of smart contracts and bash scripts to deploy Multi collateral DAI
A portfolio tracking, analytics, accounting and management application that protects your privacy
A simple and sufficient ERC20 implementation
K specification of the dai stablecoin system
Forked KEVM for FVyper project
The Ethereum Request for Comment repository
Overview of the formal verification projects in the Ethereum ecosystem.
Your things should be DSThings
Ethereum 2.0 Specifications
Set of smart contracts and bash scripts to deploy Multi collateral CSC
A simple and sufficient ERC20 implementation
This is solc-verify, a modular verifier for Solidity.
a proxy object that can compose transactions on owner's behalf
Turkish community translation of the Solidity documentation
Log function calls as events
Set and get a value
The Ethereum Classic Wiki
Fork of the Solidity Compiler for compiling Solidity to IELE
Indonesian community translation of the Solidity documentation
Russian community translation of the Solidity documentation
Korean community translation of the Solidity documentation
a proxy object that can compose transactions on owner's behalf
Solidity For Cortex
The Solidity Contract-Oriented Programming Language
An object that does one thing once.
Solidity, the Smart Contract Programming Language
a proxy object that can compose transactions on owner's behalf
A simple and sufficient ERC20 implementation
Solidity, the Smart Contract Programming Language
DSAuth-protected stop and start
Log function calls as events
A simple and sufficient ERC20 implementation
An object that does one thing once.
DSAuth-protected stop and start
Solidity, the Contract-Oriented Programming Language
Solidity, the Contract-Oriented Programming Language
Collection of comprehensive TypeScript libraries for Interaction with the Ethereum JSON RPC API and utility functions.
Solidity, the Smart Contract Programming Language
A JS thin wrapper around the Direct Route API
Assertions, equality checks and other test helpers
This repository has been moved to dapphub/dapptools
Safe arithmetic
Updatable, unobtrusive Solidity authorization pattern
Solidity, the Contract-Oriented Programming Language
A javascript interface for interacting with the PlatON network
ZKsync fork of the original Solidity compiler.
A DSAuthority for up to 256 roles
Portuguese / Brazilian translation of the Solidity docs
Ethereum Compatible JavaScript API
Ethereum JavaScript API
Chinese community translation of the Solidity documentation
Spanish community translation of the Solidity documentation
Japanese community translation of the Solidity documentation
Conflux JavaScript API, under active development
Ethereum JavaScript API
XinFin JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
NewChain JavaScript API
The Ethereum Improvement Proposal repository
forked from ethereum/web3.js, please checkout feature/sipc branch
Ethereum JavaScript API
A javascript interface for interacting with the PlatON network
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
A DSAuthority for up to 256 roles
Set and get a value
The Pie Improvement Proposal Repository
Ethereum JavaScript API
Ethereum JavaScript API
❇️ DSMath with overflow flagging
TrueChan JavaScript API base on ETH ver.
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API modified for halo platform.
Expanse and Ethereum Compatible JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Safe arithmetic
Updatable, unobtrusive Solidity authorization pattern
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
The Ethereum Improvement Proposal repository
Ethereum JavaScript API
Ethereum JavaScript API
Ethereum JavaScript API
Electroneum SmartChain JavaScript API
The Ethereum Improvement Proposal repository
Ethereum JavaScript API
XinFin JavaScript API
Ethereum JavaScript API
A DPoS blockchain.
Official Go implementation of the Callisto protocol (CLO main client)
Common tests for all Ethereum implementations
Ethereum L1 Protocol Stack and EVM in TypeScript
Project is in active development and has been moved to the EthereumJS monorepo.
Fully automated luxury gay space communism contracts
💧 Drips Protocol Smart Contracts
Jeffrey Wilcke's Go implementation of the Ethereum y/w paper
A rule-based contract-oriented high-level language.
[Optimism] (Slightly) modified Solidity compiler
Official Go implementation of the Ethereum protocol
Electroneum is a Layer 1 EVM-compatible blockchain, catering to 4+ million users worldwide.
Official golang implementation of the Ethereum protocol
A DPoS blockchain.
Technical specifications for the libp2p networking stack
Go implementation of the Metadium project.
Solidity, the Contract-Oriented Programming Language
DEPRECATED: Solidity v0.4.24, the Contract-Oriented Programming Language
Radicle contracts on Ethereum
Blockchain (smart contract) platform using CBC-Casper proof of stake + Rholang for concurrent execution.
The Ethereum VM implemented in Javascript
Better exception handling
Go implementation of MEV-Extract for Ethereum
lllc support with latest opcodes
Solidity, the Contract-Oriented Programming Language
Monorepo for the Ethereum VM TypeScript Implementation
A Hydra Smart Chain client based on the go-ethereum fork
Fork of the Runtime Verification Solidity to IELE Compiler, to target MultiversX IELE. Not currently in use.
A collection of utility functions for Ethereum
Shyft:Solidity Contract-Oriented Programming Language
Monorepo for the Ethereum VM TypeScript Implementation
Monorepo for the Ethereum VM TypeScript Implementation
Common tests for all Ethereum implementations
Solidity, the Contract-Oriented Programming Language
Common tests for all Ethereum implementations
Common tests for all Ethereum implementations
Fork of BSC Geth with EVMC support
Technical specifications for the libp2p networking stack
Patched go implementation of the Ethereum protocol
Common tests for all Ethereum implementations
Solidity, the Contract-Oriented Programming Language
A collection of utility functions for Ethereum
A collection of utility functions for newchain
Monorepo for the Ethereum VM TypeScript Implementation
Common tests for all Ethereum implementations
Better exception handling
fork of ethereumjs to support a modified EVM for optimization strategies
A collection of utility functions for Ethereum
Common tests for all Ethereum implementations
Solidity, the Contract-Oriented Programming Language
my version of solidity
ethereum-solidity
A set of scripts that deploy Curio Stablecoin System to an Ethereum chain of your choosing
Common tests for all Ethereum implementations
─── peer developers
─── ecosystems
─── languages
- JavaScript72
- Solidity54
- C++22
- Go19
- TypeScript15
- Python10
- CMake7
- Shell6
- HTML6
- Haskell5
─── subscriber view
Unlock the full view of MrChico
- · Full repository, commit, and contributor breakdown
- · Peer graph + ecosystem links
- · Weekly trend deltas and pulse signal
- · API + CSV / JSON exports
Already a subscriber? Sign in with the same email used at checkout.