Alternatives and similar repositories for config2spec:

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

• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆11Updated 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
• XJTU-NetVerify / dna
  ☆10Updated 2 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 3 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆37Updated 6 years ago
• snlab / flash
  Flash Artifact for SIGCOMM22
  ☆14Updated 2 years ago
• Light-Guardian / LightGuardian
  ☆34Updated 4 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆31Updated 3 years ago
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 3 years ago
• nsg-ethz / ACC-Turbo
  Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense
  ☆51Updated 2 years ago
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆27Updated 7 years ago
• In-Network-Machine-Learning / DINC
  DINC is a framework that efficiently plans and implements P4-based service partitions on multiple network devices.
  ☆26Updated 11 months ago
• PIFO-TM / ns3-bmv2
  NS3 support for P4 programs using bmv2
  ☆33Updated 5 years ago
• SketchLib / P4_SketchLib
  ☆40Updated last year
• nsg-ethz / Blink
  Blink: Fast Connectivity Recovery Entirely in the Data Plane
  ☆25Updated 3 years ago
• mandaryoshi / p4-int
  An implementation of In-Band Network Telemetry in P4
  ☆19Updated 3 years ago
• jonadmark / intsight-conext
  IntSight: Diagnosing SLO Violations with In-Band Network Telemetry
  ☆13Updated 2 years ago
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆24Updated 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
• ProbabilisticINT / Tofino-PINT
  ☆29Updated 3 years ago
• intrig-unicamp / P4-HH
  Heavy-Hitter detection in P4 switch ASIC using Inter-Packet Gap
  ☆24Updated 6 months ago
• GEANT-DataPlaneProgramming / int-platforms
  In-band Telemetry (INT) implementation for bmv2 and TOFINO platforms.
  ☆40Updated 2 years ago
• harshgondaliya / burstradar
  Practical Real-time Microburst Monitoring for Datacenter Networks
  ☆15Updated 5 years ago
• jsonch / StarFlow
  *flow source code
  ☆23Updated 4 years ago
• vksysd / P4_INT
  In-band Network Telemetry(INT) using P4 for traffic engineering
  ☆18Updated 5 years ago
• antoninbas / p4runtime-go-client
  Go client for P4Runtime
  ☆36Updated 2 weeks ago
• fernandodebrando / p4-int
  P4 INT - In-Band Network Telemetry
  ☆10Updated 5 years ago
• uni-tue-kn / p4-ipsec
  ☆23Updated 4 years ago
• A-Dying-Pig / PrintQueue
  PrintQueue: Performance Diagnosis via Queue Measurement in the Data Plane
  ☆17Updated last year