anubhavnidhi / batfishView external linksLinks
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.
☆17Jun 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
Sorting:
- SyNET Network-wide Configuration Synthesis☆28Dec 7, 2017Updated 8 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 5 years ago
- Data repository of NAssim☆29Aug 18, 2022Updated 3 years ago
- [NSDI'22] Differential Network Analysis☆13Jun 2, 2022Updated 3 years ago
- Mining Network Specifications from Network Configurations☆35Nov 20, 2020Updated 5 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆37Jul 12, 2021Updated 4 years ago
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 4 years ago
- ☆28Apr 12, 2024Updated last year
- Automated tool to formally verify congestion control algorithms and find bugs in them☆27Oct 4, 2022Updated 3 years ago
- ☆81Apr 13, 2018Updated 7 years ago
- ☆11May 16, 2025Updated 9 months ago
- Debiasing Through Data Attribution☆12May 23, 2024Updated last year
- The first large scale formally verified reasoning dataset for Verilog☆19May 16, 2025Updated 9 months ago
- ☆10Aug 1, 2019Updated 6 years ago
- P4runpro: Enabling Runtime Programmability for RMT Switches☆15Aug 26, 2024Updated last year
- ☆10Oct 16, 2024Updated last year
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆11Oct 18, 2022Updated 3 years ago
- Apstra AOS IBA Probe Library☆12Oct 5, 2020Updated 5 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
- ☆11Apr 12, 2021Updated 4 years ago
- Data sets for experiments and performance evaluations of Delta-net☆11Mar 24, 2021Updated 4 years ago
- ☆18Feb 8, 2024Updated 2 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
- ☆14Nov 7, 2024Updated last year
- Terraform provider utilizing gNMI interface and OpenConfig models☆14Apr 11, 2019Updated 6 years ago
- Python client for Batfish: https://github.com/batfish/batfish☆233Feb 7, 2026Updated last week
- Flash Artifact for SIGCOMM22☆14Jun 14, 2022Updated 3 years ago
- A multi-functional ESP32 keyboard with 5 customizable keys, with alias called "ESP32 Keybrick"☆28Jul 23, 2025Updated 6 months ago
- Detection of rootkit file hiding activities through analysis of shifts in kernel function execution times.☆28Sep 10, 2025Updated 5 months ago
- Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.☆16Jun 28, 2021Updated 4 years ago
- ☆20Mar 25, 2024Updated last year
- Source code of FedPrompt☆16May 4, 2022Updated 3 years ago
- SCoRe: Training Language Models to Self-Correct via Reinforcement Learning☆16Jan 24, 2025Updated last year
- Collection of open substrate pallets☆23Feb 9, 2026Updated last week
- Code examples associated with EOS Central articles.☆16Mar 19, 2019Updated 6 years ago
- An easy-to-use federated learning platform☆23Aug 23, 2023Updated 2 years ago
- A l2 learning switch based on DPDK.☆20Jan 25, 2018Updated 8 years ago
- FANcY: FAst In-Network GraY Failure Detection for ISPs☆21Aug 19, 2022Updated 3 years ago
- Tool to test priority-based flow control☆18Nov 19, 2020Updated 5 years ago