Popular repositories Loading

1. Lambda-Calculus Lambda-Calculus Public

   An introduction to lambda calculus in Chinese, including an interpreter in Haskell.

   TeX 389 68

2. Project-Euler Project-Euler Public

   Solutions for Project Euler

   Haskell 6

3. polylink polylink Public

   A Blender Addon

   Python 6 4

4. FormalMath FormalMath Public

   A side project about formalization of mathematics.

   Coq 6

5. GridMaze-Algorithm GridMaze-Algorithm Public

   Description of the algorithms used in my app GridMaze

   3

6. H-99 H-99 Public

   My solutions to "Ninety-Nine Haskell Problems"

   Haskell 2