Skip to content
View cu1ch3n's full-sized avatar
🎯
Focusing
🎯
Focusing
39 followers · 40 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx2

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: YOLOAchievement: QuickdrawAchievement: Public SponsorAchievement: Pull Sharkx2

Highlights

Organizations

@NixOS @hkuplg

Block or report cu1ch3n

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
cu1ch3n/README.md
Chen's github stats

Some Repositories

Type Inference Zoo (https://zoo.cuichen.cc)

Typst Packages and Projects

Nix Configs and Packages

Popular repositories Loading

  1. type-inference-zoo type-inference-zoo Public

    🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.

    Haskell 149 2

  2. nixbook nixbook Public

    ❄️ All Configurations for My Laptop

    Nix 18 1

  3. type-inference-zoo-wasm type-inference-zoo-wasm Public

    🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/

    Haskell 14 1

  4. caidan caidan Public

    🍔 A clean and minimal food menu template.

    Typst 13 3

  5. menu menu Public

    🍔 Chen’s Private Cuisine Menu

    Typst 10

  6. karenda karenda Public

    📅 A clean and elegant calender with date links

    Typst 7