  In this paper we study the $ K $-theory of free quantum groups in the sense
of Wang and Van Daele, more precisely, of free products of free unitary and
free orthogonal quantum groups. We show that these quantum groups are $ K
$-amenable and establish an analogue of the Pimsner-Voiculescu exact sequence.
As a consequence, we obtain in particular an explicit computation of the $ K
$-theory of free quantum groups. Our approach relies on a generalization of
methods from the Baum-Connes conjecture to the framework of discrete quantum
groups. This is based on the categorical reformulation of the Baum-Connes
conjecture developed by Meyer and Nest. As a main result we show that free
quantum groups have a $ \gamma $-element and that $ \gamma = 1 $. As an
important ingredient in the proof we adapt the Dirac-dual Dirac method for
groups acting on trees to the quantum case. We use this to extend some
permanence properties of the Baum-Connes conjecture to our setting.
