Robby Cochran's repositories
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
GMailinator
Mail.app plugin that adds Gmail-style keyboard shortcuts.
klee
KLEE Symbolic Virtual Machine
Language:C++NOASSERTION000
panopticon
Mac OSX scripts for taking timelapse screenshots and iSight snapshots over time
Language:ShellWTFPL000
pcp-preview
Performance Co-Pilot Preview Container