Pinned Repositories
pl.cs.cornell.edu
Website for PL@Cornell
textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Exist
focs2013-papers
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.
stoc2014-papers
justhsu's Repositories
justhsu/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.
justhsu/focs2013-papers
justhsu/stoc2014-papers