Skip to content
View lucifer1004's full-sized avatar
๐Ÿ’ช
Hard working
๐Ÿ’ช
Hard working
655 followers · 259 following

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: Starstruckx2Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLOAchievement: Arctic Code Vault Contributor

Highlights

Organizations

@JuliaCN @lfortran @JuliaRemoteSensing

Block or report lucifer1004

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please donโ€™t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this userโ€™s behavior. Learn more about reporting abuse.

Report abuse
lucifer1004/README.md

Hey, lucifer1004 here! ๐Ÿ‘‹

Hi, I'm Gabriel Wu. I received my Bachelor's degree in Physics and Ph.D. degree in Cartography & GIS from Peking University.

Currently, I am a software engineer at DevTech, NVIDIA.

 GitHub Stats

Top Languages

Commit Time Distribution

Wakatime statistics

Lean4         18 hrs 32 mins        โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   43.77 %
Typst         8 hrs 2 mins          โ–ˆโ–ˆโ–ˆโ–ˆโ–“โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   18.98 %
Other         6 hrs 38 mins         โ–ˆโ–ˆโ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   15.68 %
Markdown      2 hrs 17 mins         โ–ˆโ–’โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   05.41 %
TypeScript    1 hr 46 mins          โ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   04.20 %

Pinned Loading

  1. govctl-org/govctl govctl-org/govctl Public

    A governance harness for AI coding.

    Rust 271 16

  2. pku-typst/pkuthss-typst pku-typst/pkuthss-typst Public

    Typst template for dissertations in Peking University (PKU).

    Typst 166 43

  3. cp-wiki cp-wiki Public

    lucifer1004 ็š„ CP ็ฌ”่ฎฐ

    JavaScript 135 11

  4. tile-ai/tilelang tile-ai/tilelang Public

    Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels

    Python 7.5k 751

  5. claude-skill-typst claude-skill-typst Public

    Typst skill for agents.

    Python 127 5

  6. VeloQ VeloQ Public

    Agent-friendly GPU profile-query CLI

    Rust 126 8