Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 28 million developers.Sign up
An implementation of the "lightweight" linear type system for System F◦ presented in "Lightweight Linear Types in System F◦" by Mazurak, et al.
Browser extension to get course data from UCSB GOLD.
A tiny Python script to check the UCSB CSIL for available workstations.
Forked from nissayeva/RateMyGold
Chrome and Safari extension that makes choosing UCSB courses easy by retrieving professor ratings from RateMyProfessors.com.
Github Pages repository
A non-intrusive pomodoro method timer for Mac OS X. Pauses iTunes during breaks.