Pinned Loading

1. NethermindEth/nethermind NethermindEth/nethermind Public

   A robust, high-performance execution client for Ethereum node operators.

   C# 1.6k 760

2. NethermindEth/nethermind-arbitrum NethermindEth/nethermind-arbitrum Public

   Nethermind Arbitrum Plugin

   C# 6 4

3. ethereum/go-ethereum ethereum/go-ethereum Public

   Go implementation of the Ethereum protocol

   Go 51.5k 22.1k

4. wormhole-foundation/wormhole wormhole-foundation/wormhole Public

   A reference implementation for the Wormhole blockchain interoperability protocol.

   TypeScript 1.9k 874

5. NethermindEth/LeanCIL NethermindEth/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 appl…

   Lean 64