We revisit Vafa-Witten theory in the more general setting whereby the underlying moduli space is not that of instantons, but of the full Vafa-Witten equations. We physically derive (i) a novel Vafa-Witten four-manifold invariant associated with this moduli space, (ii) their relation to Gromov-Witten invariants, (iii) a novel Vafa-Witten Floer homology assigned to three-manifold boundaries, (iv) a novel Vafa-Witten Atiyah-Floer correspondence, (v) a proof and generalization of a conjecture by Abouzaid-Manolescu in [1] about the hypercohomology of a perverse sheaf of vanishing cycles, (vi) a Langlands duality of these invariants, Floer homologies and hypercohomology, and (vii) a quantum geometric Langlands correspondence with purely imaginary parameter that specializes to the classical correspondence in the zero-coupling limit, where Higgs bundles feature in (ii), (iv), (vi) and (vii). We also explain how these invariants and homologies will be categorified in the process, and discuss their higher categorification. In essence, we will relate differential and enumerative geometry, topology and geometric representation theory in mathematics, via a maximally-supersymmetric topological quantum field theory with electric-magnetic duality in physics.