Welcome to code.galois.com

Here you'll find repositories for various open source projects worked on by Galois engineers.

• git repositories
• darcs repositories
• Some papers
• Slides from tech talks

If you want to post content to this wiki, you'll need to register for an account.

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

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

To clone a darcs repository use darcs get --lazy http://code.galois.com/darcs/<repo_name>.

Enjoy!