This Plenary Lecture summarizes the seismicity of Mars recorded by the NASA InSight mission, which landed on Elysium Planitia on 26 August 2018. Equipped with a highly sensitive seismometer, the lander has been successfully recording the seismicity of Mars for over three years. Different types of marsquakes have been identified, including low-frequency events with mantle-going phases and shallow high-frequency events characterized by crustal propagation. More recently, a few meteoric impacts have also been identified. Over a thousand events have been recorded, with magnitudes reaching up to M W 4.7. Here we review the techniques used by the MarsQuake Service to locate and characterize marsquakes and the active crustal processes in different areas of the red planet, and we discuss the different types of marsquakes.