So far I know, there's libdragon-unstable for N64 and GLdc for Dreamcast. Anything else?

Looking for actual publicly released implementations, not ancient fandom hearsay nor leaked proprietary middlewares.