Apparently someone is working on a Nix-based system for configuring routers: https://www.liminix.org/
Small server part of the pixie.town infrastructure. Registration is closed.
