Skip to content
View greged93's full-sized avatar
25 followers · 11 following
  • Brussels

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw
BetaSend feedback

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: Pull Sharkx3Achievement: Quickdraw
BetaSend feedback
Block or Report

Block or report greged93

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned

  1. kkrt-labs/kakarot kkrt-labs/kakarot Public

    Kakarot is a zkEVM written in Cairo, leveraging the STARK proof system.

    Cairo 872 230

  2. kkrt-labs/kakarot-rpc kkrt-labs/kakarot-rpc Public

    Kakarot ZK EVM Ethereum RPC adapter

    Rust 92 72

  3. keep-starknet-strange/madara keep-starknet-strange/madara Public

    Building the Integrity Web. The most modular ZK Rollup framework.

    Rust 506 286

  4. starkware-libs/cairo starkware-libs/cairo Public

    Cairo is the first Turing-complete language for creating provable programs for general computation.

    Rust 1.4k 425

  5. bto-cairo bto-cairo Public

    Binary Tree Operator written in Cairo

    Cairo 10

  6. kkrt-labs/ef-tests kkrt-labs/ef-tests Public

    Test runner for ethereum foundation tests

    Rust 14 17