xingjianxu/memtric
Public repository.
Developer Profile
xingjianxu
Discovered public repositories for xingjianxu in the GitHub catalog.
xingjianxu/ptcoding
BOYPT's experimental code/snippets, mostly undocumented, maybe useful, maybe for testing purpose,
xingjianxu/vam
Public repository.
xingjianxu/dvm
Distribution Version Manager for Rails
xingjianxu/book
A textbook on informal homotopy type theory
xingjianxu/offline
Automatically display online/offline indication to your users.
xingjianxu/shadowsocks
a lightweight tunnel proxy which can help you get through firewalls
xingjianxu/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
xingjianxu/Behave.js
Behave.js is a lightweight library for adding IDE style behaviors to plain text areas, making it much more enjoyable to write code in.