Skip to content
View Z-Shang's full-sized avatar
💭
She / Her
💭
She / Her
402 followers · 148 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Starstruck

Highlights

  • Pro

Block or report Z-Shang

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
Z-Shang/README.md

(is this 'Z.Shang)

  • (write I 'parentheses)
  • Blog

Z-Shang's github stats

Top Langs

Pinned Loading

  1. granule granule Public

    Forked from granule-project/granule

    A statically typed linear functional language with graded modal types for fine-grained program reasoning

    Haskell

  2. au-ts/cogent au-ts/cogent Public

    Cogent Project

    Isabelle 158 26

  3. microsoft/GraphEngine microsoft/GraphEngine Public

    Microsoft Graph Engine

    C# 2.2k 328

  4. bytecode bytecode Public

    Forked from MatthieuDartiailh/bytecode

    Python module to modify bytecode

    Python

  5. fpy fpy Public

    Python module for composing computations

    Python 26

  6. pyttern pyttern Public

    Python 5