Here's a list of technology they've used to build gov.uk: http://digital.cabinetoffice.gov.uk/govuk-launch-colophon/