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 3 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☆28Dec 7, 2017Updated 8 years ago
- Data repository of NAssim☆29Aug 18, 2022Updated 3 years ago
- [NSDI'22] Differential Network Analysis☆13Jun 2, 2022Updated 3 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 5 years ago
- Mining Network Specifications from Network Configurations☆36Nov 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.
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 4 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆11Oct 18, 2022Updated 3 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 6 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 3 years ago
- Simple libpcap usage example☆11Jul 9, 2024Updated last year
- ☆12May 16, 2025Updated 10 months ago
- A client-server based file transfer program using UDP and TCP written in Python.☆10Apr 13, 2015Updated 10 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Containerlab topologies for routing software interoperability tests.☆21Dec 6, 2025Updated 3 months ago
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 10 months ago
- Batfish Network CI demo for Ansiblefest 2019☆36Feb 7, 2020Updated 6 years ago
- ☆19Sep 7, 2025Updated 6 months ago
- Python client for Batfish: https://github.com/batfish/batfish☆233Mar 22, 2026Updated last week
- ☆64Jun 29, 2022Updated 3 years ago
- Container Virtual Service☆13Aug 10, 2022Updated 3 years ago
- ☆11Apr 12, 2021Updated 4 years ago
- Collection of pytorch example networks in jupyter notebooks☆10Apr 26, 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.
- DASH meets ns3-gym, an inclusive discrete environment to test ML for video streaming.☆23May 2, 2025Updated 10 months ago
- ☆13May 11, 2023Updated 2 years ago
- [NAACL 2025] LLM-Supported Natural Language to Bash Translation☆15Jul 17, 2025Updated 8 months ago
- A simple utility for doing RISC-V HPM perf monitoring.☆18May 8, 2017Updated 8 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆13Jun 20, 2024Updated last year
- NAPALM & Ansible Demo☆12Mar 10, 2016Updated 10 years ago
- Apstra AOS IBA Probe Library☆12Oct 5, 2020Updated 5 years ago
- ☆86Dec 13, 2021Updated 4 years ago
- Collection of datasets for network research.☆14Jul 26, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Cisco - Juniper BGP and MPLS Configuration Examples and Best Practices☆36May 5, 2017Updated 8 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- Static verification tool for DNS zone files☆81Jan 8, 2023Updated 3 years ago
- Efficient IPv6 address discovery algorithm DET which combines density, information entropy and space tree. DET is short for detective, w…☆13Sep 18, 2023Updated 2 years ago
- Detection of rootkit file hiding activities through analysis of shifts in kernel function execution times.☆29Sep 10, 2025Updated 6 months ago
- MPLS VPNs (VPLS, VPWS, L3VPN) on eNSP using Huawei Routers☆11Feb 11, 2020Updated 6 years ago
- [NDSS 2026] Official repo for Odysseus: Jailbreaking Commercial Multimodal LLM-integrated Systems via Dual Steganography☆31Mar 14, 2026Updated 2 weeks ago