Pinned Repositories
bantam
Website for managing Coq fights
dug
A distributed bug and review tracking tool
git-cc
Bridge for Git and Clearcase
git-training
Training material for teaching Git
gitcc4j
Yet another Git/Clearcase bridge, written in Java
gnome-shell-extension-search-window
Searches window titles in Gnome Shell
naca
Fork of NACA from Google Code
property-testing-preso
Slides for Property-based testing
sbt2nix
Generate Nix build instructions from a SBT project
Scala-XMPP-Bot
Scala XMPP Bot Framework
charleso's Repositories
charleso/gitcc4j
Yet another Git/Clearcase bridge, written in Java
charleso/naca
Fork of NACA from Google Code
charleso/redcmd
Command line control over Redmine issue tracking system