repositories

Some relevant git repositories.