yangchenyun · Topics

VIP

NO. 2695 / 2012-06-28

9 Topics / 70 Replies

1 Followers

0 Following

0 Favorites

GitHub Public Repos

fish-config 89

The configuration file for fish
the-little-learner 2

working code with <the little learner>
backport 1

Automate the tedious process of backporting changes
SafariBooks-Downloader 1

a SafariBooksOnline downloader that generates respective .epub books for offline and kindle reading
spacemacs 1

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *an...
500lines 1

500 Lines or Less
yangchenyun.github.com 1

My public blog
cheats 1

Knowledge base for `navi`
the-little-typer 0

To learn type theory and bridge between programming and math
the-little-prover 0

Learning on the Boyer-Moore prover

yangchenyun • Last by yangchenyun replied at December 27, 2013

yangchenyun • Last by loveky replied at July 09, 2013

yangchenyun • Last by yangchenyun replied at July 03, 2013

yangchenyun • Last by zw963 replied at May 29, 2013

yangchenyun • Last by yangchenyun replied at May 14, 2013

yangchenyun • Last by jun_cn replied at March 19, 2013

yangchenyun • Last by cod7ce replied at January 29, 2013

yangchenyun • Last by yangchenyun replied at November 18, 2012

yangchenyun • Last by yangchenyun replied at September 18, 2012