Alternatives and similar repositories for synet

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

• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆32Updated 4 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆40Updated 6 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆13Updated 5 years ago
• XJTU-NetVerify / dna
  [NSDI'22] Differential Network Analysis
  ☆11Updated 3 years ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆16Updated 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…
  ☆15Updated 3 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆34Updated 4 years ago
• eastzone / atpg
  Automatic Test Packet Generation
  ☆45Updated 10 years ago
• Sonata-Princeton / SONATA-DEV
  Query-Driven Streaming Network Telemetry
  ☆66Updated 4 years ago
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆26Updated 3 years ago
• xuraylei / floodlight_with_topoguard
  ☆16Updated 10 years ago
• NetworkVerification / nv
  A Framework for Modeling and Analyzing Network Configurations
  ☆35Updated 2 years ago
• snlab / flash
  Flash Artifact for SIGCOMM22
  ☆14Updated 3 years ago
• vibhaa / hashpipe
  Heavy hitter detection algorithm that is entirely in the dataplane
  ☆25Updated 6 years ago
• jfuruness / bgpy_pkg
  Simulates attack/defend scenarios in BGP
  ☆42Updated 2 months ago
• pengyanghua / deTector
  ☆12Updated 8 years ago
• netgroup / SDN-TE-SR
  SDN based Traffic Engineering and Segment Routing
  ☆15Updated 10 years ago
• BlockLiu / ElasticSketchCode
  ☆117Updated 3 years ago
• verified-network-toolchain / petr4
  Petr4: Formal Semantics for P4
  ☆81Updated 2 months ago
• netgroup / srv6-mininet-extensions
  Mininet extensions for SRv6
  ☆16Updated 6 years ago
• venkatarun95 / ccac
  Automated tool to formally verify congestion control algorithms and find bugs in them
  ☆27Updated 2 years ago
• CiscoDevNet / pathman-sr
  Pathman SR is an open-source app to compute paths and deploy routes in Segment Routing-enabled network.
  ☆100Updated 3 years ago
• zenhox / p4-quick
  A quick way to learn p4 language.
  ☆26Updated 3 years ago
• dmbb / FlowLens
  Code for the paper "FlowLens: Enabling Efficient Flow Classification for ML-based Network Security Applications" [NDSS '21]
  ☆36Updated 4 years ago
• p4lang / p4app
  ☆113Updated 3 years ago
• chenxiang2019 / The-Road-to-P4
  A Programmer Guide of the P4 Language.
  ☆41Updated 7 years ago
• CS344-Stanford-18 / p4-mininet-tutorials
  P4 language tutorials
  ☆34Updated 7 years ago
• uni-tue-kn / p4-ipsec
  ☆22Updated 5 years ago
• p4pktgen / p4pktgen
  Automatic test case generator for P4 programs
  ☆70Updated 3 years ago
• yeasy / mininet_book
  A book to introduce Mininet usage and its code implementation.
  ☆54Updated 7 years ago