Garuda Linux is a Archlinux based distro which is focused on performance. It uses Linux-tkg-bmq kernel by default and comes with a variety of opiniated themes & settings.