For older videos I used Screenflick on Mac, and Debut on Windows. More recently, I record using OBS and edit in Shotcut.
