Welcome to code.galois.com

Until real content is posted to this wiki, you'll probably just want to browse our git repositories. If you want to post content to this wiki, you'll need to register for an account.

To clone a repository use git clone git://code.galois.com/<repo_name>. For example:

git clone git://code.galois.com/xml.git

Enjoy!