In this survey, we propose an overview on Lyapunov functions for a variety of compartmental models in epidemiology. We exhibit the most widely employed functions, and provide a commentary on their use. Our aim is to provide a comprehensive starting point to readers who are attempting to prove global stability of systems of ODEs. The focus is on mathematical epidemiology, however some of the functions and strategies presented in this paper can be adapted to a wider variety of models, such as prey–predator or rumor spreading.