
repos
37
ecosystems
18
languages
8
commits
370
─── top repos · by commits
─── repositories
37 totalFormal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
CyfrinUpdraft FundMe Foundry Course
Make your zero-knowledge circuits safe with formal verification! 🍀
General purpose Blended Execution layer
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
Ethereum consensus client in Rust
Rust implementation of the Ethereum Virtual Machine.
Ethereum Virtual Machine written in rust that is fast and simple to use
Ethereum consensus client in Rust
Ethereum Proof-of-Stake Consensus Specifications
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
Transports, Middleware, and Networks for the Alloy project
(Ivan's Fork) Ethereum Consensus Specs
Rust Ethereum virtual machine (revm) Is EVM written in rust that is focused on speed and simplicity
Transports, Middleware, and Networks for the Alloy project
[Work in Progress] revm-oo (revm oblivious opcodes) with all the opcodes rewritten with a data-independent cpu trace. Meant to provide strong side channel privacy guarantees inside of TEE's (Trusted Execution Environments).
Fork of Foundry tailored for zkSync environment
An enterprise-grade Java-based, Apache 2.0 licensed Ethereum client https://wiki.hyperledger.org/display/besu
A robust, high-performance execution client for Ethereum node operators.
The Rust Implementation of the libp2p networking stack.
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Fork of hyperledger/besu to verify release GitHub actions
The Rust Implementation of the libp2p networking stack.
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
Ethereum Virtual Machine written in rust that is fast and simple to use
Foundry is a blazing fast, portable and modular toolkit for Ethereum application development written in Rust.
Fork of Foundry implementing new features and fixes
─── peer developers
─── ecosystems
─── languages
- Rust22
- Java4
- Rocq Prover2
- Python2
- Coq1
- Solidity1
- TypeScript1
- C#1
─── subscriber view
Unlock the full view of 0xMushow
- · 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.



















