Alternatives and similar repositories for dna:

Users that are interested in dna are comparing it to the libraries listed below

• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆29Updated 4 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆12Updated 4 years ago
• anubhavnidhi / batfish
  Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…
  ☆13Updated 2 years ago
• snlab / flash
  Flash Artifact for SIGCOMM22
  ☆14Updated 2 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆37Updated 6 years ago
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆27Updated 7 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆32Updated 3 years ago
• delta-net / datasets
  Data sets for experiments and performance evaluations of Delta-net
  ☆11Updated 4 years ago
• all-things-networking / fperf
  ☆18Updated 5 months ago
• GEANT-DataPlaneProgramming / int-platforms
  In-band Telemetry (INT) implementation for bmv2 and TOFINO platforms.
  ☆41Updated 2 years ago
• Light-Guardian / LightGuardian
  ☆34Updated 4 years ago
• ProbabilisticINT / Tofino-PINT
  ☆30Updated 4 years ago
• nsg-ethz / ACC-Turbo
  Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense
  ☆51Updated 2 years ago
• mandaryoshi / p4-int
  An implementation of In-Band Network Telemetry in P4
  ☆19Updated 3 years ago
• opennetworkinglab / onos-p4-tutorial
  DEPRECATED - Please check the more recent NG-SDN tutorial (advanced branch): https://github.com/opennetworkinglab/ngsdn-tutorial/tree/adv…
  ☆52Updated 4 years ago
• ProbabilisticINT / Mininet-PINT
  ☆28Updated 4 years ago
• datacenter / empirical-traffic-gen
  Simple client-server application for generating user-defined traffic patterns.
  ☆54Updated 10 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• nsg-ethz / SP-PIFO
  Approximating Push-In First-Out Behaviors using Strict-Priority Queues
  ☆53Updated 2 years ago
• netgroup / srv6-controller
  SRv6 Controller
  ☆26Updated 6 years ago
• zhaoyboo / p4-tofino-examples
  ☆34Updated 3 years ago
• PIFO-TM / ns3-bmv2
  NS3 support for P4 programs using bmv2
  ☆33Updated 6 years ago
• zenhox / p4-quick
  A quick way to learn p4 language.
  ☆26Updated 2 years ago
• COMSYS / pie-for-tofino
  Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.
  ☆14Updated 3 years ago
• muhe1991 / p4-programs-survey
  ☆25Updated 5 years ago
• cslev / p4-bmv2-docker
  P4 BMV2 docker container
  ☆19Updated 6 years ago
• netgroup / srv6-mininet-extensions
  Mininet extensions for SRv6
  ☆16Updated 6 years ago
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 4 years ago
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆25Updated 2 years ago