Pinned Loading

1. Note-Convex-Optimization Note-Convex-Optimization Public

   Note: A series of my note on math or CS; this one is for Convex Optimization 凸优化

   HTML 5 3

2. Assemble-Interpreter Assemble-Interpreter Public

   A simple interpreter that supports an assemble-style language.

   Haskell

3. Pirate-Game Pirate-Game Public

   The ultimate solution of the Pirate Game. 海盗分金问题的终极解决方案。

   Python 1

4. Church-Numeral Church-Numeral Public

   An implementation of Church Numeral and several discussions about it.

   Haskell

5. Classical-Propositional-Calculus Classical-Propositional-Calculus Public

   A series of Haskell implementations of logic systems. This one is for the most simple propositional calculus.

   Haskell