Pinned Loading

1. batfish batfish Public

   Forked from batfish/batfish

   Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely …

   Java

2. nv nv Public

   Forked from NetworkVerification/nv

   A Framework for Modeling and Analyzing Network Configurations

   OCaml

3. synet-plus synet-plus Public

   Forked from nsg-ethz/synet-plus

   Practical Network-Wide Configuration Synthesis with Autocompletion

   Python

4. tekton tekton Public

   Forked from nsg-ethz/tekton

   A library to create networks and to generate network configurations

   Python