ForgeFed: A specification of an ActivityPub-based vocabulary and protocol for federation of project management and version control repository hosting platforms. It has a website.
Vervis: A federated forge (i.e. project hosting and collaboration platform) written in Haskell. I’m using it for prototyping features of the ForgeFed specification. Vervis is hosting its own code and tickets. There’s a project page, and the page of the actual web app repo. It’s a Darcs repo, and you can darcs clone that URL. If these URLs don’t work, they’ll likely be back in a few minutes, and there’s also a copy at the Darcs Hub. Once in a while I manually push updates to that copy, so it’s usually a bit behind. The source repo of this website is hosted using Vervis too.