It seems to be quite active, with regular new releases. I’m lead to believe that https://www.toolchain.com/ https://www.toolchain.com/ is the main sponsor, but

It seems to be quite active, with regular new releases. I’m lead to believe that https://www.toolchain.com/ https://www.toolchain.com/ is the main sponsor, but there are maintainers from other companies too. I do not know the details, though.