Skip to content
Change the repository type filter

All

    Repositories list

    • CLI to verify your starknet contracts classes on block explorers!
      Rust
      Apache License 2.0
      102261Updated Dec 13, 2024Dec 13, 2024
    • A robust execution client for Ethereum node operators.
      C#
      GNU General Public License v3.0
      4511.3k434113Updated Dec 13, 2024Dec 13, 2024
    • Start your Taiko node with a single command. 🌐
      Shell
      MIT License
      837001Updated Dec 13, 2024Dec 13, 2024
    • 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
      0301Updated Dec 13, 2024Dec 13, 2024
    • TruthTok

      Public
      A truth preserving realtime news platform
      TypeScript
      MIT License
      1100Updated Dec 13, 2024Dec 13, 2024
    • juno

      Public
      Starknet client implementation.
      Go
      Apache License 2.0
      17741010031Updated Dec 13, 2024Dec 13, 2024
    • A vanilla implementation of Taiko stack based rollup.
      Svelte
      MIT License
      2.2k1904Updated Dec 13, 2024Dec 13, 2024
    • A virtual machine for Cairo written in Go
      Go
      MIT License
      5082162Updated Dec 13, 2024Dec 13, 2024
    • Fool me once, ETH on you
      TypeScript
      MIT License
      11200Updated Dec 13, 2024Dec 13, 2024
    • Executable formal model of the EVM and Yul in Lean 4.
      Lean
      Apache License 2.0
      437212Updated Dec 13, 2024Dec 13, 2024
    • Golang Library for StarkNet/Cairo
      Go
      MIT License
      1101534518Updated Dec 13, 2024Dec 13, 2024
    • Smarty
      1001Updated Dec 13, 2024Dec 13, 2024
    • Obol's Helm Charts
      Smarty
      4000Updated Dec 13, 2024Dec 13, 2024
    • Start your Surge node with a single command. 🌐
      Shell
      MIT License
      837000Updated Dec 13, 2024Dec 13, 2024
    • A libp2p implementation for .NET in C#.
      C#
      MIT License
      2668186Updated Dec 13, 2024Dec 13, 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.
      C#
      GNU Lesser General Public License v3.0
      1894156Updated Dec 13, 2024Dec 13, 2024
    • starkweb

      Public
      Complete toolkit to build on the stark side of the web
      TypeScript
      Apache License 2.0
      1211Updated Dec 13, 2024Dec 13, 2024
    • Create AI art, earn from your prompts, take your secrets to the grave.
      TypeScript
      MIT License
      2600Updated Dec 12, 2024Dec 12, 2024
    • ZKLib

      Public
      A Library for Formally Verified Cryptographic Proof Systems
      Lean
      Apache License 2.0
      2001Updated Dec 12, 2024Dec 12, 2024
    • A plugin that brings Starknet to Remix! 🐺 ⭐
      TypeScript
      Apache License 2.0
      3042302Updated Dec 12, 2024Dec 12, 2024
    • Ruby
      0100Updated Dec 12, 2024Dec 12, 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
      80000Updated Dec 12, 2024Dec 12, 2024
    • The Layer 2 of Madness: A Blockchain Where Agents Make the Rules (or Don’t)
      01400Updated Dec 12, 2024Dec 12, 2024
    • docs

      Public
      Nethermind documentation
      JavaScript
      Creative Commons Attribution 4.0 International
      38983Updated Dec 12, 2024Dec 12, 2024
    • tsim

      Public
      TypeScript
      MIT License
      0221Updated Dec 12, 2024Dec 12, 2024
    • The principal Linea repository. This mainly includes the smart contracts covering Linea's core functions, the prover in charge of generating ZK proofs, the coordinator responsible for multiple orchestrations, and the postman to execute bridge messages.
      Go
      Other
      42001Updated Dec 12, 2024Dec 12, 2024
    • TypeScript
      GNU General Public License v3.0
      701063485Updated Dec 12, 2024Dec 12, 2024
    • Rust
      MIT License
      812255Updated Dec 11, 2024Dec 11, 2024
    • Trust-minimized marketplace for mathematical proofs 🔍
      MIT License
      0100Updated Dec 11, 2024Dec 11, 2024
    • fremen

      Public
      A decentralized marketplace for human actions, where AI agents autonomously post and verify real-world tasks
      Cairo
      0400Updated Dec 11, 2024Dec 11, 2024