https://freeotp.github.io/ is yet another TOTP provider by Red Hat. It's the only app that I've used so far. Available from F-Droid plus the usual places. There's also a fork FreeOTP+ by some people who have different ideas about the security model and enabling backup of keys.