Popular repositories

1. Consolas-with-Yahei Consolas-with-Yahei Public

   Forked from wuqiling97/Consolas-with-Yahei

   向consolas字体中添加微软雅黑的字体，sublime-text中粗体、斜体显示正常，并且不会和系统内置的Consolas冲突。增加了powerline 字符。

   260 45

2. latex-beamer-flake latex-beamer-flake Public

   Write slides with Markdown (with Japanese support)!

   TeX 4

3. FP101x-Content-2015 FP101x-Content-2015 Public

   Forked from fptudelft/FP101x-Content-2015

   FP101x - Functional Programming MOOC 2015 Content Repository

   Haskell 3 2

4. hoice-haskell hoice-haskell Public

   SMT 1

5. h-g-wells_the-world-set-free h-g-wells_the-world-set-free Public

   HTML 1

6. crvdgc.github.io crvdgc.github.io Public

   New personal static blog.

   CSS 1