Can I set the alarm to stop after some time?
The feature I was looking for is called (on the apps I’ve found that have it) “auto-dismiss”. I’m trying Alarm Clock Xtreme Free, which offers this feature; if I’m happy with it I’ll upgrade to the paid version.