Alternatives and similar repositories for synet-plus

Users that are interested in synet-plus are comparing it to the libraries listed below

• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆30Updated 4 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 4 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆33Updated 3 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…
  ☆14Updated 2 years ago
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆27Updated 7 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆12Updated 4 years ago
• XJTU-NetVerify / dna
  [NSDI'22] Differential Network Analysis
  ☆10Updated 3 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆25Updated 2 years ago
• pins / tutorials
  Set of tutorials that use PINS
  ☆25Updated 2 years ago
• sonic-net / sonic-pins
  P4 Integrated Network Stack (PINS)
  ☆36Updated 2 weeks ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆34Updated 2 years ago
• antoninbas / p4runtime-go-client
  Go client for P4Runtime
  ☆36Updated last month
• nsg-ethz / snowcap
  Synthesizing Network-Wide Configuration Updates
  ☆14Updated 3 years ago
• rabeckett / propane
  ☆80Updated 7 years ago
• CiscoDevNet / iOAM
  ☆28Updated 4 years ago
• delta-net / datasets
  Data sets for experiments and performance evaluations of Delta-net
  ☆11Updated 4 years ago
• uni-tue-kn / p4-ipsec
  ☆23Updated 4 years ago
• p4lang / p4-dpdk-target
  P4 driver SW for P4 DPDK target.
  ☆60Updated 4 months ago
• ebiken / p4srv6
  Proto-typing SRv6 functions with P4 lang.
  ☆58Updated 2 years ago
• pluginized-protocols / libxbgp
  ☆11Updated 2 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…
  ☆53Updated 4 years ago
• Light-Guardian / LightGuardian
  ☆34Updated 4 years ago
• NIKSS-vSwitch / nikss
  Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)
  ☆48Updated last year
• datacenter / empirical-traffic-gen
  Simple client-server application for generating user-defined traffic patterns.
  ☆55Updated 10 years ago
• uni-tue-kn / P4TG
  This repository contains the source code for P4TG, a 1 Tb/s traffic generator for Ethernet/IP networks
  ☆44Updated last week
• 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
• rare-freertr / RARE-bmv2
  RARE for P4Lang bmv2 dataplane target
  ☆30Updated 2 weeks ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆70Updated 2 years ago