type-inference-zoo. 🦖 Implementations of various type inference algorithms. The new project is now at https://github.com/cu1ch3n/type-inference-zoo-frontend.
156nixbook. ❄️ All Configurations for My Laptop
23type-inference-zoo-wasm. 🦖 Implementations of various type inference algorithms. Online playground is at https://zoo.cuichen.cc/
22caidan. 🍔 A clean and minimal food menu template.
19typ-how. A online playground to explore with type Inference algorithms.
18menu. 🍔 Chen’s Private Cuisine Menu
10karenda. 📅 A clean and elegant calender with date links
7oopsla23-talk. TeX
1 views 8 projects
Apply