I've crawled the GIS website and and converted a majority of the zips to geoJSON here:

https://github.com/youanden/miami-dade-gis/tree/a7cba57e84698d08af384cc7991b6cc5c38e69e0

Posted on Tue 14 Oct 2014 11:10:08 AM EDT by Georgiy Slobodenyuk