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
  ☆31Updated 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
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆27Updated 7 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆13Updated 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…
  ☆14Updated 3 years ago
• snlab / flash
  Flash Artifact for SIGCOMM22
  ☆14Updated 3 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• Team-P4RROT / P4RROT
  Generating P4 Code for the Application Layer
  ☆13Updated last year
• OpenState-SDN / openstate.p4
  P4 library and application examples for OpenState-like stateful forwarding
  ☆15Updated 8 years ago
• sonic-net / sonic-pins
  P4 Integrated Network Stack (PINS)
  ☆36Updated this week
• pins / tutorials
  Set of tutorials that use PINS
  ☆25Updated 2 years ago
• delta-net / datasets
  Data sets for experiments and performance evaluations of Delta-net
  ☆11Updated 4 years ago
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 4 years ago
• P4-Research / p4-demos
  Prototyping networks with P4
  ☆22Updated 5 years ago
• rare-freertr / RARE-bmv2
  RARE for P4Lang bmv2 dataplane target
  ☆30Updated last week
• open-traffic-generator / models
  Open Traffic Generator Core Models
  ☆71Updated this week
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆25Updated 2 years ago
• open-nfpsw / p4c_firewall
  ☆23Updated 7 years ago
• Mellanox / SAI-P4-BM
  ☆38Updated 6 years ago
• cablelabs / transparent-security
  Transparent Security is a solution for identify the source devices of a DDoS attack and mitigates the attack in the customer premises or …
  ☆34Updated 2 years ago
• CS344-Stanford-18 / p4-mininet-tutorials
  P4 language tutorials
  ☆34Updated 7 years ago
• XJTU-NetVerify / dna
  [NSDI'22] Differential Network Analysis
  ☆10Updated 3 years ago
• UWNetworksLab / netcov
  NetCov: test coverage for network configurations
  ☆39Updated 2 years ago
• Orange-OpenSource / p4rt-ovs
  Programming runtime extensions for Open vSwitch with P4
  ☆24Updated 5 years ago
• antoninbas / p4runtime-go-client
  Go client for P4Runtime
  ☆36Updated 2 months ago
• osinstom / P4-OvS
  Bringing the power of P4 to OvS!
  ☆74Updated 4 years ago
• uni-tue-kn / P4TG
  This repository contains the source code for P4TG, a 1 Tb/s traffic generator for Ethernet/IP networks
  ☆46Updated last week
• vksysd / P4_INT
  In-band Network Telemetry(INT) using P4 for traffic engineering
  ☆18Updated 6 years ago
• In-Network-Machine-Learning / DINC
  DINC is a framework that efficiently plans and implements P4-based service partitions on multiple network devices.
  ☆28Updated last year