nettle-netkit (hackage): DSL for describing OpenFlow networks, and a compiler generating NetKit labs. 
Keywords: bsd3|library|network