Repositories list

• teeception

  Public
  Fool me once, ETH on you

  TypeScript

  •

  MIT License

  •0•3•0•0•Updated Dec 4, 2024Dec 4, 2024

• starknet.go

  Public
  Golang Library for StarkNet/Cairo

  nubia

  Go

  •

  MIT License

  •110•152•45•20•Updated Dec 4, 2024Dec 4, 2024

• nethermind

  Public
  A robust execution client for Ethereum node operators.

  ethereumblockchainethereum-client+ 2ethevm

  C#

  •

  GNU General Public License v3.0

  •450•1.3k•431•114•Updated Dec 4, 2024Dec 4, 2024

• EVMYulLean

  Public
  Executable formal model of the EVM and Yul in Lean 4.

  Lean

  •

  Apache License 2.0

  •4•37•2•11•Updated Dec 4, 2024Dec 4, 2024

• nethermind-node-tests

  Public
  In this repository, there will be a set of test cases which will be executed on various stages of post-merge-smoke-tests nodes syncing process.

  C#

  •

  MIT License

  •0•3•0•1•Updated Dec 4, 2024Dec 4, 2024

• juno

  Public
  Starknet client implementation.

  gogolangrest-api+ 7ethereumnubiajunolayer2starksstarknetcairolang

  Go

  •

  Apache License 2.0

  •174•409•104•42•Updated Dec 4, 2024Dec 4, 2024

• surge-taiko-mono

  Public
  A vanilla implementation of Taiko stack based rollup.

  Svelte

  •

  MIT License

  •2.2k•17•0•4•Updated Dec 4, 2024Dec 4, 2024

• Taiko-Preconf-AVS

  Public
  Rust

  •

  MIT License

  •8•12•25•4•Updated Dec 4, 2024Dec 4, 2024

• sedge

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

  gogolangwizard+ 4web3nodesethereumblockchain

  Go

  •

  Apache License 2.0

  •45•161•21•19•Updated Dec 4, 2024Dec 4, 2024

• Paprika

  Public
  A custom storage engine of Nethermind, benefiting from the alignment of the underlying data structure with the layout of State & Storage trees of Ethereum.

  databasecsharpdotnet+ 2ethereummerkle-tree

  C#

  •

  GNU Lesser General Public License v3.0

  •16•93•14•7•Updated Dec 4, 2024Dec 4, 2024

• starknet-p2p-tests

  Public
  Go

  •

  Apache License 2.0

  •0•2•0•1•Updated Dec 4, 2024Dec 4, 2024

• starkweb

  Public
  Complete toolkit to build on the stark side of the web

  TypeScript

  •

  Apache License 2.0

  •1•1•0•1•Updated Dec 4, 2024Dec 4, 2024

• surge-docs

  Public
  Surge based rollup docomentation

  TypeScript

  •0•1•0•0•Updated Dec 4, 2024Dec 4, 2024

• rbuilder

  Public
  rbuilder is a blazingly fast, state of the art Ethereum MEV-Boost block builder written in Rust

  Rust

  •

  Apache License 2.0

  •71•0•0•0•Updated Dec 4, 2024Dec 4, 2024

• Clear

  Public
  Interactive formal verification tool for Yul programs

  Lean

  •

  Other

  •4•52•0•9•Updated Dec 4, 2024Dec 4, 2024

• helm-charts

  Public
  Mustache

  •1•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• blst-bindings

  Public
  C#

  •

  MIT License

  •1•2•0•1•Updated Dec 3, 2024Dec 3, 2024

• starknet-remix-plugin

  Public
  A plugin that brings Starknet to Remix! 🐺 ⭐

  caironubiaremix-ide+ 1starknet

  TypeScript

  •

  Apache License 2.0

  •30•42•30•1•Updated Dec 3, 2024Dec 3, 2024

• halo2-extractor

  Public
  Rust

  •

  Apache License 2.0

  •0•0•0•0•Updated Dec 3, 2024Dec 3, 2024

• formalverification.xyz

  Public
  A website listing all the best FV companies in the Crypto space.

  awesomecryptodirectory+ 7cryptocurrencysolidityawesome-listformal-methodsformal-verificationzkzkproof

  TypeScript

  •5•6•0•2•Updated Dec 3, 2024Dec 3, 2024

• dotnet-libp2p

  Public
  A libp2p implementation for .NET in C#.

  networklibp2pp2p-network

  C#

  •

  MIT License

  •26•66•18•6•Updated Dec 3, 2024Dec 3, 2024

• pwn-starknet

  Public
  nubia

  Cairo

  •

  GNU General Public License v3.0

  •7•4•0•0•Updated Dec 3, 2024Dec 3, 2024

• Forta-Agents

  Public
  TypeScript

  •

  GNU General Public License v3.0

  •70•105•3•450•Updated Dec 3, 2024Dec 3, 2024

• cairo-vm-go

  Public
  A virtual machine for Cairo written in Go

  nubia

  Go

  •

  MIT License

  •50•82•16•1•Updated Dec 3, 2024Dec 3, 2024

• docs

  Public
  Nethermind documentation

  JavaScript

  •

  Creative Commons Attribution 4.0 International

  •38•9•8•6•Updated Dec 2, 2024Dec 2, 2024

• preconfirm-devnet-package

  Public
  A Kurtosis package that deploys a private, portable, and modular Ethereum devnet for preconfirm AVS

  Starlark

  •

  MIT License

  •159•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• bench_precompiles

  Public
  Benchmark of precompiles

  Rust

  •5•0•0•0•Updated Dec 2, 2024Dec 2, 2024

• eth-pairings-bindings

  Public
  C# bindings for the eth_pairings library

  cryptographypairingseip-1962

  C#

  •

  MIT License

  •2•1•0•0•Updated Nov 29, 2024Nov 29, 2024

• simple-surge-node

  Public
  Start your Surge node with a single command. 🌐

  Shell

  •

  MIT License

  •837•0•0•0•Updated Nov 29, 2024Nov 29, 2024

• cairo-plonk-verifier

  Public
  Plonk Verifier in Cairo

  Cairo

  •

  Apache License 2.0

  •1•0•14•2•Updated Nov 29, 2024Nov 29, 2024