abstract: We prove an effective counting and equidistribution theorem for rational points in quaternionic Heisenberg groups endowed with their Carnot-Carathéodory distances. The proofs use methods and results from quaternionic hyperbolic geometry (in particular its geometry at infinity), arithmetic groups and ergodic theory of the geodesic flow in negatively curved spaces. This is a joint work with Jouni Parkkonen.