Skip to content
View Wybxc's full-sized avatar
🏠
Working from home
🏠
Working from home
259 followers · 108 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Organizations

@PKUOriginalFire

Block or report Wybxc

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
Wybxc/README.md

忘忧·北萱草

🌟 公子忘忧兮，树萱草于北堂。🌟

Style Love Stars Profile Views


忘忧北萱草's GitHub stats

🏫 I am a PhD student at Peking University’s School of Computer Science. Visit my academic homepage to find out more about me and my work.

📓 My research interests are:

  • Program Verification
  • Programming Languages
  • Functional Programming
忘忧北萱草's GitHub stats

🧑‍💻 As an open-source developer, I see code as a craft. I’m dedicated to writing elegant and maintainable software, using principles from programming language theory as my foundational tools.

🌟 My Skills:

Rust Python OCaml TypeScript React Flutter PyTorch Typst Ren'Py After Effects


Pinned Loading

  1. cgrammar cgrammar Public

    A comprehensive C language grammar parser library written in Rust, implementing the C23 standard (ISO/IEC 9899:2023).

    Rust

  2. elegance elegance Public

    A pretty-printing library for Rust with a focus on speed and compactness.

    Rust 6

  3. parse-it parse-it Public

    A user-friendly, opinionated parser generator for Rust

    Rust 10

  4. bingo bingo Public

    自定义 Bingo 游戏！

    TypeScript 3