@Codeberg I'm only aware of https://www.codidact.org but I dont think it is federated. At least it's open source.