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
- 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
- [NSDI'22] Differential Network Analysis☆14Jun 2, 2022Updated 4 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 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
- Resume by markdown.☆10Aug 10, 2019Updated 7 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆13Oct 18, 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 last year
- FANcY: FAst In-Network GraY Failure Detection for ISPs☆21Aug 19, 2022Updated 4 years ago
- Data sets for experiments and performance evaluations of Delta-net☆11Mar 24, 2021Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- 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 2 years ago
- ☆14May 16, 2025Updated last year
- ☆67Jun 29, 2022Updated 4 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☆243Updated this week
- ☆11Apr 12, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Container Virtual Service☆13Aug 10, 2022Updated 4 years ago
- Assignment questions for Nengo tutorial☆11Apr 11, 2024Updated 2 years ago
- ☆13May 11, 2023Updated 3 years ago
- ☆86Dec 13, 2021Updated 4 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆14Jun 20, 2024Updated 2 years ago
- A simple utility for doing RISC-V HPM perf monitoring.☆18May 8, 2017Updated 9 years ago
- Apstra AOS IBA Probe Library☆12Oct 5, 2020Updated 5 years ago
- Class Incremental learning, Task Incremental Learning☆17Dec 19, 2022Updated 3 years ago
- The implement of FedCyBGD☆12Jul 19, 2024Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Collection of open substrate pallets☆26Jun 18, 2026Updated 2 months 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
- ☆25Dec 31, 2021Updated 4 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Static verification tool for DNS zone files☆83Jan 8, 2023Updated 3 years ago
- Cisco - Juniper BGP and MPLS Configuration Examples and Best Practices☆36May 5, 2017Updated 9 years ago
- ☆11Jun 13, 2020Updated 6 years ago