Just discovered that there's essentially GPL houses: https://www.wikihouse.cc/
Small server part of the pixie.town infrastructure. Registration is closed.
