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☆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☆29Aug 18, 2022Updated 3 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 5 years ago
- [NSDI'22] Differential Network Analysis☆14Jun 2, 2022Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 4 years ago
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- ☆28Apr 12, 2024Updated 2 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
- 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 3 years ago
- Debiasing Through Data Attribution☆13May 23, 2024Updated last year
- 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.
- Simple libpcap usage example☆11Jul 9, 2024Updated last year
- P4runpro: Enabling Runtime Programmability for RMT Switches☆15Aug 26, 2024Updated last year
- ☆13May 16, 2025Updated 11 months ago
- A client-server based file transfer program using UDP and TCP written in Python.☆10Apr 13, 2015Updated 11 years ago
- The first large scale formally verified reasoning dataset for Verilog☆21May 16, 2025Updated 11 months ago
- Library for efficient (re-)construction, transport and analysis of BGP "routing tables"☆33Nov 25, 2022Updated 3 years ago
- Batfish Network CI demo for Ansiblefest 2019☆36Feb 7, 2020Updated 6 years ago
- ☆64Jun 29, 2022Updated 3 years ago
- Collection of pytorch example networks in jupyter notebooks☆10Apr 26, 2020Updated 6 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.
- ☆19Sep 7, 2025Updated 8 months ago
- DASH meets ns3-gym, an inclusive discrete environment to test ML for video streaming.☆23May 2, 2025Updated last year
- ☆13May 11, 2023Updated 2 years ago
- [NAACL 2025] LLM-Supported Natural Language to Bash Translation☆16Apr 28, 2026Updated last week
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆13Jun 20, 2024Updated last year
- A simple utility for doing RISC-V HPM perf monitoring.☆18May 8, 2017Updated 9 years ago
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.☆25Feb 14, 2026Updated 2 months ago
- NAPALM & Ansible Demo☆12Mar 10, 2016Updated 10 years ago
- Apstra AOS IBA Probe Library☆12Oct 5, 2020Updated 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.
- Collection of datasets for network research.☆14Jul 26, 2020Updated 5 years ago
- The implement of FedCyBGD☆12Jul 19, 2024Updated last year
- Cisco - Juniper BGP and MPLS Configuration Examples and Best Practices☆36May 5, 2017Updated 9 years ago
- configuration evolution dataset☆18Feb 25, 2021Updated 5 years ago
- 基于LLM实现CHIP2021-Task3中文临床术语标准化任务，准确率约70%。☆15Dec 16, 2024Updated last year
- 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…☆14Sep 18, 2023Updated 2 years ago