They open sourced quite a few guides, resources and standards over the years. I think they did a lot of design and i18n work like the US web design guidelines. Also... don't they own login.gov?

https://github.com/orgs/18F/repositories