浙江大学课程攻略共享计划

Emoji for everyone. https://twemoji.twitter.com/

Growth Engineering: The Definitive Guide。全栈增长工程师指南

Open Source Graphical Programming for Design

Jekyll Themes / GitHub Pages 博客模板 / A template repository for Jekyll based blog

A programming tutorial for sight & light

The Mirah Programming Language

This book will be a textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

This is the project repository for Hundar, a typeface for books and articles, with a focus on scientific writing.

Benchmarks for capture-avoiding substitution

joke page until I decide what to do with this domain name

Scala 3 中文站 网站仓库

slides of zju-lambda

Some of my archived slides

Comments over github issue for jekyll blog