Sorry to nit, Fedi is a company that is building around Fedimint, the open source protocol. (Fedi employs a good amount of contributors to Fedimint, fwiw)

https://fedimint.org - protocol/open source project https://fedi.xyz - startup company

I just work on Fedimint (when I can find the time).