Skip to content
@NethermindEth

Nethermind

Ethereum and Starknet researchers and builders developing the Nethermind Ethereum client, Juno, Voyager, and Sedge.

Pinned Loading

  1. nethermind nethermind Public

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

    C# 1.6k 756

  2. juno juno Public

    Starknet full node designed for peak concurrency and efficiency

    Go 445 248

  3. Forta-Agents Forta-Agents Public

    Collection of Forta Bots for on-chain anomaly/threat detection

    TypeScript 122 83

  4. sedge sedge Public

    A one-click setup tool for PoS network/chain validators and nodes.

    Go 194 70

  5. zinc-plus zinc-plus Public

    Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.

    Rust 48 15

Repositories

Showing 10 of 502 repositories
  • nethermind Public

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

    NethermindEth/nethermind's past year of commit activity
    C# 1,619 GPL-3.0 756 169 (1 issue needs help) 163 Updated Oct 15, 2026
  • 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.

    NethermindEth/LeanCIL's past year of commit activity
    Lean 38 MIT 0 0 0 Updated Oct 15, 2026
  • bflat-riscv64 Public

    .NET Compiler for RISC-V zkVM targets

    NethermindEth/bflat-riscv64's past year of commit activity
    C# 5 AGPL-3.0 3 2 3 Updated Oct 15, 2026
  • juno Public

    Starknet full node designed for peak concurrency and efficiency

    NethermindEth/juno's past year of commit activity
    Go 445 Apache-2.0 248 29 39 Updated Oct 15, 2026
  • stellar-private-payments Public

    Nethermind Privacy Engineering team's implementation of private payments for the Stellar network

    NethermindEth/stellar-private-payments's past year of commit activity
    Rust 59 Apache-2.0 50 53 (14 issues need help) 17 Updated Oct 15, 2026
  • aztec-faucet Public

    Testnet faucet for Aztec Network. Bridges Fee Juice from L1 to L2, drips Sepolia ETH, generates keypairs, and provides claim scripts.

    NethermindEth/aztec-faucet's past year of commit activity
    TypeScript 1 MIT 1 0 3 Updated Oct 15, 2026
  • eth-client-dependency Public
    NethermindEth/eth-client-dependency's past year of commit activity
    TypeScript 0 MIT 1 0 4 Updated Oct 15, 2026
  • agentarena-arbiter Public Forked from NethermindEth/ArbiterAgent

    ArbiterAgent is an open source AI-powered triage system that aggregates, deduplicates, and assigns severity to vulnerability findings from multiple AI auditing agents. It ensures consistent scoring, fair reward allocation, and streamlined dispute resolution within smart contract auditing ecosystems.

    NethermindEth/agentarena-arbiter's past year of commit activity
    1 MIT 5 0 7 Updated Oct 14, 2026
  • dotnet-libp2p Public

    A libp2p implementation for .NET in C#.

    NethermindEth/dotnet-libp2p's past year of commit activity
    C# 126 MIT 57 48 (21 issues need help) 2 Updated Oct 14, 2026
  • bflat-libziskos Public

    libziskos for riscv64 bflat

    NethermindEth/bflat-libziskos's past year of commit activity
    Shell 0 MIT 1 0 1 Updated Oct 14, 2026
View all repositories

Most used topics

Loading…