Skip to content
View xgaozoyoe's full-sized avatar

Organizations

@ZhenXunGe

Block or report xgaozoyoe

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 Loading

  1. zoyoeproject/daoism-cic zoyoeproject/daoism-cic Public

    cic for daosim simulator

    OCaml

  2. zoyoeproject/menhir-lib zoyoeproject/menhir-lib Public

    menhir library for bs-platform

    OCaml

  3. coq-smt-check coq-smt-check Public

    Forked from gmalecha/coq-smt-check

    Invoke SMT solvers from Coq to check obligations

    OCaml

  4. scroll-tech/halo2-snark-aggregator scroll-tech/halo2-snark-aggregator Public archive

    halo2 ecc circuit

    Rust 114 24

  5. DelphinusLab/delphinus-ts-sdk DelphinusLab/delphinus-ts-sdk Public

    TypeScript 2