Microsoft/EVA - https://news.ycombinator.com/item?id=25193863
Alchemy - https://news.ycombinator.com/item?id=18265948
Cingulata - https://news.ycombinator.com/item?id=23437737
And a good overview of HE compilers/libraries https://arxiv.org/pdf/2101.07078.pdf