Code formerly at firedrake.org gitweb is now available at https://github.com/Firedrake/.