We introduce a notion of a matched pair of locally compact groupoids and construct several $C^*$-algebras from a matched pair of locally compact groupoids without assuming the existence of quasi-invariant measures on the unit space. We also show that there exist natural representations of the above $C^*$-algebras when there exists an invariant measure.