repos
46
ecosystems
22
languages
5
commits
342
─── top repos · by commits
─── repositories
46 totalA tool to calculate code merklization outcomes from real world traces
An EVM interpreter in Dafny
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
Verification of Smart Contracts with Dafny – FMICS paper examples
Verification of Smart Contracts with Dafny – FMICS paper examples
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Sample code for Atomic Crosschain Transactions
Optimism execution client written in Java based Hyperledger besu.
Fork of hyperledger/besu to verify release GitHub actions
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu with customisations for the Milkomeda protocol.
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
NXTChain Client implementation
Linea implementation based on Besu
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Optimism implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Ethereum implementation on the efficiency frontier
Jerigon fork just to build and publish the docker images
Ethereum implementation on the efficiency frontier
Lightweight Java and Android library for integration with Ethereum clients
🚀 Open-source Ethereum consensus client written in Java
Trufflesuite website source ✨
Resources on self-management/organization
Code Merklization and other approaches to reducing the code contribution to witness size
K Framework Tools 7.0
K Framework Tools 5.0
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
Java Implementation of the Ethereum 2.0 Beacon Chain
Open-source Ethereum consensus client written in Java
─── peer developers
─── ecosystems
─── languages
- Java24
- Go12
- Python2
- Dafny2
- HTML1
─── subscriber view
Unlock the full view of hmijail
- · 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.