An introduction to lambda calculus in Chinese, including an interpreter in Haskell.
Solutions for Project Euler
A Blender Addon
Description of the algorithms used in my app GridMaze
Notes about "The Symmetries of Things"
My note and programs about surreal number created by John Horton Conway
My solutions to "Ninety-Nine Haskell Problems"
A side project about formalization of mathematics.
Notes about Coxeter's "Regular Polytopes"
My Emacs Settings
Verified Software Toolchain
Mathematica Notebooks about Hyperbolic Tiling