Popular repositories Loading

1. type-inference-zoo type-inference-zooPublic

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

   Haskell 156 3

2. nixbook nixbookPublic

   ❄️ All Configurations for My Laptop

   Nix 23 1

3. type-inference-zoo-wasm type-inference-zoo-wasmPublic

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

   Haskell 22 1

4. caidan caidanPublic

   🍔 A clean and minimal food menu template.

   Typst 20 2

5. menu menuPublic

   🍔 Chen’s Private Cuisine Menu

   Typst 10

6. karenda karendaPublic

   📅 A clean and elegant calender with date links

   Typst 7