WooCommerce Modal Fly Cart + Ajax add to cart free WordPress plugin by aThemeArt
GitHub - WPPlugins/ajax-dropdown-cart-for-woocommerce: This is a mirror of the svn repo: https://plugins.svn.wordpress.org/ajax-dropdown-cart-for-woocommerce/, the master is always the latest release.