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

Achievements

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

Achievements

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

Highlights

Organizations

@NixOS @hkuplg

Block or report cu1ch3n

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 155 3

  2. nixbook nixbook Public

    ❄️ All Configurations for My Laptop

    Nix 23 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 22 1

  4. caidan caidan Public

    🍔 A clean and minimal food menu template.

    Typst 18 2

  5. typ-how typ-how Public

    A online playground to explore with type Inference algorithms.

    TypeScript 18 2

  6. menu menu Public

    🍔 Chen’s Private Cuisine Menu

    Typst 10