I'm a big fan of pico.sh (it's one of my main inspiration for smallweb.run).

I'm sure you're aware of it, but it might be interesting to others: caddy exposes all of it's internal as library you can easily integrate to your projects: https://github.com/caddyserver/certmagic