Pinned Repositories
DotFiles
helper_scripts
Various helper scripts for different tasks and projects.
klee
KLEE Symbolic Virtual Machine
MCGPU
mod_bot_relay
Ejabberd relay bot for CarrierPigeon
oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 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.
pebbles_platform_frameworks_base
Mirror of git://android.git.kernel.org/platform/frameworks/base.git with TaintDroid additions (Mirror lags official Android)
pebbles_platform_libcore
Mirror of git://android.git.kernel.org/platform/libcore.git with TaintDroid additions (mirror lags official Android)
SeniorDesign_COMP4710
rlyspn's Repositories
rlyspn/mod_bot_relay
Ejabberd relay bot for CarrierPigeon
rlyspn/SeniorDesign_COMP4710
rlyspn/MCGPU
rlyspn/DotFiles
rlyspn/helper_scripts
Various helper scripts for different tasks and projects.
rlyspn/klee
KLEE Symbolic Virtual Machine
rlyspn/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 120+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 120 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.
rlyspn/pebbles_platform_frameworks_base
Mirror of git://android.git.kernel.org/platform/frameworks/base.git with TaintDroid additions (Mirror lags official Android)
rlyspn/pebbles_platform_libcore
Mirror of git://android.git.kernel.org/platform/libcore.git with TaintDroid additions (mirror lags official Android)
rlyspn/PersonalPage
My personal page which can be found at http://www.cs.columbia.edu/~riley
rlyspn/TimeLapse
Script for capturing and generating time lapse videos on a RaspberryPi.