Checking their Gitlab description it looks like you are right. The OP mentioned Reddit in the post title though, and Reddit is “still” not federated ;-) Using https://fediverse.party I found these as well :
https://github.com/FChannel0/FChannel-Server
https://github.com/yuforium
A loosely moderated place to ask open ended questions
If your post is
it’s welcome here!
Checking their Gitlab description it looks like you are right. The OP mentioned Reddit in the post title though, and Reddit is “still” not federated ;-) Using https://fediverse.party I found these as well :
https://github.com/FChannel0/FChannel-Server
https://github.com/yuforium