google / netkat

Domain specific language (DSL) and system for specifying, programming, and reasoning about packet-switched networks
14Updated this week

Related projects

Alternatives and complementary repositories for netkat