A robust, high-performance execution client for Ethereum node operators.
↑ +1 today
NethermindEth
4 tracked repositories
☆ 2.3K TOTAL STARS
⑂ 1.1K TOTAL FORKS
↗ +27 STARS TODAY
★ Add Profile Badge to your GitHub README.md
Auto-UpdatingShowcase your total open-source impact. This SVG badge updates automatically as our continuous crawler records new stars.
[](https://githubrepo.cloud/developers/NethermindEth)Repositories
Sorted by stars
Starknet full node designed for peak concurrency and efficiency
↑ +1 today
A libp2p implementation for .NET in C#.
↑ +1 today
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
↑ +1 today
From our network