Are there any examples of…

Are there any examples of governments releasing GPL licensed WordPress plugins and/or themes for public download?