I wonder why nobody mentioned palisade, a mature and open source FHE.
> PALISADE now supports the BGV, BFV, CKKS, and FHEW schemes and a more secure variant of the TFHE scheme, including bootstrapping.
And also Concrete by Zama, coded in Rust https://github.com/zama-ai/concrete