Nethermind
Ethereum and Starknet researchers and builders developing the Nethermind Ethereum client, Juno, Voyager, and Sedge.
Pinned Loading
Repositories
Showing 10 of 505 repositories
- LeanCIL Public
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.
-
-
-
- eth-client-dependency Public
Most used topics
Loading…