8000 zeyu-zheng · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View zeyu-zheng's full-sized avatar
4 followers · 6 following

Achievements

Achievement: Pair Extraordinaire

Achievements

Achievement: Pair Extraordinaire

Block or report zeyu-zheng

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

Popular repositories Loading

  1. zeyu-zheng.github.io zeyu-zheng.github.io Public

    Forked from zhengyima/zhengyima.github.io

    homepage of me

    HTML 1

  2. flagmatic_directed flagmatic_directed Public

    Forked from jsliacan/flagmatic

    A package for doing flag algebra computations with the Sage mathematics system. Written in Python and Cython.

    JavaScript

  3. anlp-spring2025-hw1 anlp-spring2025-hw1 Public

    Forked from cmu-l3/anlp-spring2025-hw1

    Python

  4. Csdp Csdp Public

    Forked from coin-or/Csdp

    This is the working repository for the CSDP project. CSDP is a solver for semidefinite programming problems. It is a COIN-OR project.

    C

  5. formal-conjectures formal-conjectures Public

    Forked from google-deepmind/formal-conjectures

    A collection of formalized statements of conjectures in Lean.

    Lean

  6. mathlib4 mathlib4 Public

    Forked from leanprover-community/mathlib4

    The math library of Lean 4

    Lean

0