I found https://github.com/onionApps/ourbook which is a Tor hidden service system which implements a microfederated social network for Android.
It has no license (that I can find) and I can't test it anyway due to me not having Android.
The project is dead but may be an interesting proof of concept for properly hidden federated social networks.