Hacker News Reader

There is embassy and rtic, albeit they are quite lightweight

I use RTIC - I suppose this is a matter of categorization; I consider it an interrupt-wrapper that manages locks.