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.
Bobinas P4G is a social network. It runs on GNU social, version 2.0.1-beta0, available under the GNU Affero General Public License.
All Bobinas P4G content and data are available under the Creative Commons Attribution 3.0 license.