Another one: Managarm
https://github.com/managarm/managarm
Does not aim for ABI compatibility with Linux but has implemented a lot of Linux-specific APIs to great success, including DRM (Direct Rendering Manager), epoll, signalfd, etc, and is capable of running software like Sway
Small group of 4-5 principal contributors working slowly but surely since 2016