Skip to content
View lucifer1004's full-sized avatar
๐Ÿ’ช
Hard working
๐Ÿ’ช
Hard working
629 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.

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        42 hrs 5 mins         โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–“โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   54.57 %
Typst        19 hrs 20 mins        โ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–ˆโ–’โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   25.07 %
Swift        5 hrs 42 mins         โ–ˆโ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   07.41 %
TypeScript   2 hrs 58 mins         โ–ˆโ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   03.85 %
Markdown     2 hrs 21 mins         โ–“โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘โ–‘   03.05 %

Pinned Loading

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

    A governance harness for AI coding.

    Rust 240 12

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

    Typst template for dissertations in Peking University (PKU).

    Typst 165 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.2k 690

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

    Typst skill for agents.

    Python 115 5

  6. VeloQ VeloQ Public

    Agent-friendly GPU profile-query CLI

    Rust 110 6