Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configurations. It enables network engineers to rapidly and safely evolve their network, without fear of outages or security breaches.
☆18Jun 19, 2022Updated 4 years ago
Alternatives and similar repositories for batfish
Users that are interested in batfish are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SyNET Network-wide Configuration Synthesis☆29Dec 7, 2017Updated 8 years ago
- A framework for automated testing of network analysis and verification tools.☆18Feb 23, 2021Updated 5 years ago
- Data repository of NAssim☆31Aug 18, 2022Updated 4 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 6 years ago
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- Mining Network Specifications from Network Configurations☆37Nov 20, 2020Updated 5 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆45Sep 18, 2025Updated 11 months ago
- ☆28Apr 12, 2024Updated 2 years ago
- Configuration Example Generalizing Synthesizer☆17Jun 12, 2025Updated last year
- ☆82Apr 13, 2018Updated 8 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆28Oct 4, 2022Updated 3 years ago
- Prototyping networks with P4☆22Aug 9, 2019Updated 7 years ago
- A verification tool for ensuring parallelization equivalence in distributed model training.☆18Sep 1, 2025Updated 11 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- FANcY: FAst In-Network GraY Failure Detection for ISPs☆21Aug 19, 2022Updated 3 years ago
- Data sets for experiments and performance evaluations of Delta-net☆11Mar 24, 2021Updated 5 years ago
- A presentation (in Markdown) for the IETF Hub Boston on June 12, 2018.☆12Sep 20, 2019Updated 6 years ago
- Flash Artifact for SIGCOMM22☆15Jun 14, 2022Updated 4 years ago
- Debiasing Through Data Attribution☆13May 23, 2024Updated 2 years ago
- Simple libpcap usage example☆12Jul 9, 2024Updated 2 years ago
- P4runpro: Enabling Runtime Programmability for RMT Switches☆16Aug 26, 2024Updated last year
- Examples for https://github.com/insomniacslk/dhcp☆16Mar 24, 2021Updated 5 years ago
- Collection of pytorch example networks in jupyter notebooks☆10Apr 26, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆66Jun 29, 2022Updated 4 years ago
- Batfish Network CI demo for Ansiblefest 2019☆36Feb 7, 2020Updated 6 years ago
- DASH meets ns3-gym, an inclusive discrete environment to test ML for video streaming.☆23May 2, 2025Updated last year
- Python client for Batfish: https://github.com/batfish/batfish☆242Updated this week
- ☆11Apr 12, 2021Updated 5 years ago
- NAPALM & Ansible Demo☆12Mar 10, 2016Updated 10 years ago
- Assignment questions for Nengo tutorial☆11Apr 11, 2024Updated 2 years ago
- ☆87Dec 13, 2021Updated 4 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆14Jun 20, 2024Updated 2 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A simple utility for doing RISC-V HPM perf monitoring.☆18May 8, 2017Updated 9 years ago
- The implement of FedCyBGD☆12Jul 19, 2024Updated 2 years ago
- demonstration of checking the operational status of a network using declarative intent parameters and the net_ping module☆12Jan 9, 2018Updated 8 years ago
- Efficient IPv6 address discovery algorithm DET which combines density, information entropy and space tree. DET is short for detective, w…☆16Sep 18, 2023Updated 2 years ago
- A go library implementing parts of the Linux netlink protocol☆17Mar 19, 2019Updated 7 years ago
- ☆25Dec 31, 2021Updated 4 years ago
- Static verification tool for DNS zone files☆82Jan 8, 2023Updated 3 years ago