Alternatives and similar repositories for batfish

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

• nsg-ethz / config2spec
  Mining Network Specifications from Network Configurations
  ☆34Updated 5 years ago
• AmyWorkspace / nassim
  Data repository of NAssim
  ☆29Updated 3 years ago
• SivaKesava1 / SelfStarter
  Tool using automatic template inference to find network misconfigurations
  ☆13Updated 5 years ago
• nsg-ethz / synet-plus
  Practical Network-Wide Configuration Synthesis with Autocompletion
  ☆41Updated 3 months ago
• nsg-ethz / Metha
  A framework for automated testing of network analysis and verification tools.
  ☆17Updated 4 years ago
• XJTU-NetVerify / dna
  [NSDI'22] Differential Network Analysis
  ☆13Updated 3 years ago
• nsg-ethz / netdice
  A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.
  ☆36Updated 4 years ago
• P4-Research / p4-demos
  Prototyping networks with P4
  ☆22Updated 6 years ago
• nsg-ethz / ACC-Turbo
  Aggregate-Based Congestion Control for Pulse-Wave DDoS Defense
  ☆53Updated 3 years ago
• cucl-srg / IIsy
  Do Switches Dream of Machine Learning?, HotNets 2019
  ☆69Updated 6 years ago
• muhe1991 / p4-programs-survey
  ☆26Updated 6 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…
  ☆54Updated 5 years ago
• nsg-ethz / p4-utils
  Extension to Mininet that makes P4 networks easier to build
  ☆208Updated last year
• GEANT-DataPlaneProgramming / int-platforms
  In-band Telemetry (INT) implementation for bmv2 and TOFINO platforms.
  ☆43Updated 3 years ago
• datacenter / empirical-traffic-gen
  Simple client-server application for generating user-defined traffic patterns.
  ☆56Updated 10 years ago
• xgr19 / Mousika
  Mousika: Enable General In-Network Intelligence in Programmable Switches by Knowledge Distillation (INFOCOM22 & ToN23)
  ☆41Updated 2 years ago
• zenhox / p4-quick
  A quick way to learn p4 language.
  ☆26Updated 3 years ago
• IDP-code / NetBeacon
  An Efficient Design of Intelligent Network Data Plane
  ☆56Updated 2 years ago
• Princeton-Cabernet / p4-projects
  P4 codes for research projects
  ☆218Updated last year
• Light-Guardian / LightGuardian
  ☆36Updated 5 years ago
• netgroup / srv6-controller
  SRv6 Controller
  ☆26Updated 7 years ago
• mandaryoshi / p4-int
  An implementation of In-Band Network Telemetry in P4
  ☆19Updated 4 years ago
• RedHatResearch / conext24-NetConfEval
  Benchmark for evaluating LLMs in network configuration problems.
  ☆32Updated 9 months ago
• alexandergall / bf-sde-nixpkgs
  Nix packaging of the Intel Tofino SDE
  ☆28Updated 2 months ago
• PIFO-TM / ns3-bmv2
  NS3 support for P4 programs using bmv2
  ☆34Updated 6 years ago
• p4lang / p4runtime-shell
  An interactive Python shell for P4Runtime
  ☆89Updated last month
• SketchLib / P4_SketchLib
  ☆42Updated 2 years ago
• In-Network-Machine-Learning / DINC
  DINC is a framework that efficiently plans and implements P4-based service partitions on multiple network devices.
  ☆30Updated last year
• uni-tue-kn / p4-ipsec
  ☆22Updated 5 years ago
• NASP-THU / Data-Oriented-Network-Simulator
  [SIGCOMM'23] DONS: Fast and Affordable Discrete Event Network Simulation with Automatic Parallelization.
  ☆52Updated last year