Technically, lemmy is just using a protocol that allows it to federate with other people using that protocol. Many of the leftist went to Lemmy because they were kicked off the other platforms for the Nazi Bar Problem. The developers of lemmy didn't create the protocol. They are using Lemmy as their version of the software using that protocol. The same protocol used by threads, etc