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
- 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
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 5 years ago
- Mining Network Specifications from Network Configurations☆37Nov 20, 2020Updated 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.
- Configuration Example Generalizing Synthesizer☆17Jun 12, 2025Updated last year
- PrintQueue: Performance Diagnosis via Queue Measurement in the Data Plane☆19Jun 23, 2023Updated 3 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆12Oct 18, 2022Updated 3 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆27Oct 4, 2022Updated 4 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
- Data sets for experiments and performance evaluations of Delta-net☆11Mar 24, 2021Updated 5 years ago
- Flash Artifact for SIGCOMM22☆15Jun 14, 2022Updated 4 years ago
- ☆10Aug 1, 2019Updated 7 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A client-server based file transfer program using UDP and TCP written in Python.☆10Apr 13, 2015Updated 11 years ago
- Examples for https://github.com/insomniacslk/dhcp☆16Mar 24, 2021Updated 5 years ago
- ☆15May 16, 2025Updated last year
- Demonstration of flow control over RDMA fabric☆13Jun 28, 2018Updated 8 years ago
- ☆66Jun 29, 2022Updated 4 years ago
- Batfish Network CI demo for Ansiblefest 2019☆37Feb 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☆244Oct 11, 2026Updated last week
- NAPALM & Ansible Demo☆12Mar 10, 2016Updated 10 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.
- Assignment questions for Nengo tutorial☆12Apr 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
- Class Incremental learning, Task Incremental Learning☆17Dec 19, 2022Updated 3 years ago
- Apstra AOS IBA Probe Library☆12Oct 5, 2020Updated 6 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
- A go library implementing parts of the Linux netlink protocol☆17Mar 19, 2019Updated 7 years ago
- ☆25Dec 31, 2021Updated 4 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.
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Static verification tool for DNS zone files☆83Jan 8, 2023Updated 3 years ago
- ☆20May 26, 2021Updated 5 years ago
- Collection of open substrate pallets☆26Jun 18, 2026Updated 4 months ago
- ☆94Apr 25, 2023Updated 3 years ago
- PIGATO - an high-performance microservices framework for Ruby, Node.js and Io.js☆11Nov 10, 2016Updated 9 years ago
- ☆89Dec 11, 2019Updated 6 years ago