art-of-dom's starred repositories
resume.github.com
Resumes generated using the GitHub informations
git-extras
GIT utilities -- repo summary, repl, changelog population, author commit percentages and more
cpachecker
CPAchecker, the Configurable Software-Verification Platform (read-only mirror)