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
  ☆33Updated 4 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆35Updated 4 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆17Updated 4 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆13Updated 5 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…
  ☆16Updated 3 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• nsg-ethz / synet
  SyNET Network-wide Configuration Synthesis
  ☆28Updated 7 years ago
• p4lang / ntf
  Network Test Framework
  ☆37Updated 6 years ago
• alex1230608 / contra
  ☆25Updated 3 years ago
• CiscoDevNet / iOAM
  ☆28Updated 4 years ago
• pins / tutorials
  Set of tutorials that use PINS
  ☆25Updated 2 years ago
• hesingh / p4-info
  ☆13Updated 4 years ago
• Team-P4RROT / P4RROT
  Generating P4 Code for the Application Layer
  ☆14Updated 2 years ago
• OpenState-SDN / openstate.p4
  P4 library and application examples for OpenState-like stateful forwarding
  ☆15Updated 9 years ago
• pins / SONiC
  Landing page for Software for Open Networking in the Cloud (SONiC) - http://azure.github.io/SONiC/
  ☆13Updated last week
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆70Updated 3 years ago
• Ribosome-Packet-Processor / Ribosome
  High-Speed Stateful Packet Processor for Programmable Switches
  ☆14Updated 2 years ago
• p4lang / tdi
  Table-Driven Interface (TDI) for a P4-programmable backend device.
  ☆41Updated 8 months ago
• NIKSS-vSwitch / nikss
  Native In-Kernel P4-programmable Software Switch for Software-Defined Networking (previously PSA-eBPF)
  ☆48Updated 2 months 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
• UWNetworksLab / netcov
  NetCov: test coverage for network configurations
  ☆39Updated 2 years ago
• ebiken / p4srv6
  Proto-typing SRv6 functions with P4 lang.
  ☆58Updated 2 years ago
• usi-systems / p4xos-public
  ☆25Updated 6 years ago
• rare-freertr / RARE-bmv2
  RARE for P4Lang bmv2 dataplane target
  ☆30Updated 2 months ago
• open-traffic-generator / models
  Open Traffic Generator Core Models
  ☆73Updated last week
• programmabledataplanereview / programmabledataplanereview.github.io
  ☆27Updated last year
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 4 years ago
• nsg-ethz / FANcY
  FANcY: FAst In-Network GraY Failure Detection for ISPs
  ☆21Updated 3 years ago
• p4lang / p4-dpdk-target
  P4 driver SW for P4 DPDK target.
  ☆62Updated 8 months ago
• antoninbas / p4runtime-go-client
  Go client for P4Runtime
  ☆37Updated 6 months ago