repos
62
ecosystems
22
languages
9
commits
1,070
─── top repos · by commits
─── repositories
62 totalProofs of properties of CBC Casper
Implementation of Minimal Viable Plasma in Vyper
FVyper: A collection of useful Vyper contracts developed with formal methods
Remix Vyper Plugin
An Ethereum 2.0 Emulator for Local Testing of Eth2 Applications
NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts
Pythonic Smart Contract Language for the EVM
Vyper Compiler Audit competition
Formal Verification for Plasma-mvp
Liveness analysis of LMD GHOST
NOTE: This project moved to https://github.com/LayerXcom/verified-plasma-contracts
A Module for Privacy-preserving State Transitions with Verifiability
CBC Casper simulator
OMG-Network repository of Watcher and Watcher Info
Overview of the formal verification projects in the Ethereum ecosystem.
Overview of the formal verification projects in the Ethereum ecosystem.
Ethereum Proof-of-Stake Consensus Specifications
The Trinity client for the Ethereum network
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Documentation for Remix IDE
Home for all packages related to the Counterfactual project
Ethereum 2.0 Specifications
Ethereum 2.0 Specifications
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Fork of the Ethereum Remix with modifications to work with pallet_revive.
Consensus for Web3
Quantum resistant EVM chain?
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Browser-Only XDC.Network IDE and Runtime Environment
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Load balancing in sharding
Forked KEVM for FVyper project
Ethereum Proof-of-Stake Consensus Specifications
Ethereum Proof-of-Stake Consensus Specifications
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Browser-Only Solidity IDE and Runtime Environment
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Browser-Only Solidity IDE and Runtime Environment
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
Browser-Only Ethereum IDE and Runtime Environment
Ethereum 2.0 Specifications
Ethereum Proof-of-Stake Consensus Specifications
Ethereum 2.0 Specifications
(Ivan's Fork) Ethereum Consensus Specs
Ethereum 2.0 Specifications
Ethereum Proof-of-Stake Consensus Specifications
Fetching ABI from blockscout
Browser-Only Ethereum IDE and Runtime Environment
Browser-Only Solidity IDE and Runtime Environment
Browser-Only Solidity IDE and Runtime Environment
Remix is a browser-based compiler and IDE that enables users to build Ethereum contracts with Solidity language and to debug transactions.
─── peer developers
─── ecosystems
─── languages
- Python17
- JavaScript12
- TypeScript11
- Elixir3
- TeX2
- Rust2
- Jupyter Notebook1
- GCC Machine Description1
- Makefile1
─── subscriber view
Unlock the full view of nrryuya
- · 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.