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
- 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
- Mining Network Specifications from Network Configurations☆37Nov 20, 2020Updated 5 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Practical Network-Wide Configuration Synthesis with Autocompletion☆45Sep 18, 2025Updated 10 months ago
- Configuration Example Generalizing Synthesizer☆16Jun 12, 2025Updated last year
- ☆82Apr 13, 2018Updated 8 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 6 years ago
- A verification tool for ensuring parallelization equivalence in distributed model training.☆18Sep 1, 2025Updated 10 months ago
- 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
- Flash Artifact for SIGCOMM22☆14Jun 14, 2022Updated 4 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆10Aug 1, 2019Updated 6 years ago
- A client-server based file transfer program using UDP and TCP written in Python.☆10Apr 13, 2015Updated 11 years ago
- 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☆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☆241Updated this week
- NAPALM & Ansible Demo☆12Mar 10, 2016Updated 10 years ago
- Assignment questions for Nengo tutorial☆11Apr 11, 2024Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Landing page + leaderboard for SWE-Bench benchmark☆15Mar 29, 2026Updated 4 months ago
- Terraform provider utilizing gNMI interface and OpenConfig models☆14Apr 11, 2019Updated 7 years ago
- ☆13May 11, 2023Updated 3 years ago
- ☆87Dec 13, 2021Updated 4 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
- Collection of open substrate pallets☆26Jun 18, 2026Updated last month
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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…☆14Sep 18, 2023Updated 2 years ago
- Static verification tool for DNS zone files☆82Jan 8, 2023Updated 3 years ago
- Cisco - Juniper BGP and MPLS Configuration Examples and Best Practices☆36May 5, 2017Updated 9 years ago
- ☆20May 26, 2021Updated 5 years ago
- ☆11Jun 13, 2020Updated 6 years ago
- MPLS VPNs (VPLS, VPWS, L3VPN) on eNSP using Huawei Routers☆11Feb 11, 2020Updated 6 years ago