Nethermind
Ethereum and Starknet researchers and builders developing the Nethermind Ethereum client, Juno, Voyager, and Sedge.
Pinned Loading
Repositories
Showing 10 of 366 repositories
- cvc5_smff_lean Public Forked from cvc5/cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
NethermindEth/cvc5_smff_leanâs past year of commit activity - surge-taiko-mono Public Forked from taikoxyz/taiko-mono
A based rollup template of the Taiko Alethia stack.
NethermindEth/surge-taiko-monoâs past year of commit activity - ExtTreeMapLemmas Public
NethermindEth/ExtTreeMapLemmasâs past year of commit activity - github-workflows Public
NethermindEth/github-workflowsâs past year of commit activity
Top languages
LoadingâŠ
Most used topics
LoadingâŠ