Telegram for Android source

Materials and IPython notebooks for "Python for Data Analysis" by Wes McKinney, published by O'Reilly Media

Linux kernel source tree

⏬ Dumb downloader that scrapes the web

The Haskell Tool Stack

获取知乎内容信息，包括问题，答案，用户，收藏夹信息

http request/response parser for c

aria2 is a lightweight multi-protocol & multi-source, cross platform download utility operated in command-line. It supports HTTP/HTTPS, FTP, SFTP, BitTorrent and Metalink.

Context sensitive completion for OCaml in Vim and Emacs

V2 of Real World OCaml

Compiler from OCaml to Javascript.

Mirror of Software Foundations in PDF

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

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

This is source code of my book.

Learn Haskell

Functional Programming Course

The most popular HTML, CSS, and JavaScript framework for developing responsive, mobile first projects on the web.

Deprecated - Chosen is a library for making long, unwieldy select boxes more friendly.

The iconic SVG, font, and CSS toolkit

好东西传送门

AllegroServe, a web server written in Common Lisp

precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes