At ITORIS we provide a Joomla and Magento marketplace for extensions, templates and other applications, and offer full-service customization options for our customers.
http://www.itoris.com/magento-ajax-mini-cart.html