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
- Data repository of NAssim☆29Aug 18, 2022Updated 3 years ago
- [NSDI'22] Differential Network Analysis☆14Jun 2, 2022Updated 3 years ago
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 4 years ago
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 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.
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 4 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆42Sep 18, 2025Updated 8 months ago
- ☆28Apr 12, 2024Updated 2 years ago
- ☆82Apr 13, 2018Updated 8 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆13Oct 18, 2022Updated 3 years ago
- Automated tool to formally verify congestion control algorithms and find bugs in them☆28Oct 4, 2022Updated 3 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
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A presentation (in Markdown) for the IETF Hub Boston on June 12, 2018.☆12Sep 20, 2019Updated 6 years ago
- Debiasing Through Data Attribution☆13May 23, 2024Updated 2 years ago
- P4runpro: Enabling Runtime Programmability for RMT Switches☆16Aug 26, 2024Updated last year
- ☆10Aug 1, 2019Updated 6 years ago
- Examples for https://github.com/insomniacslk/dhcp☆16Mar 24, 2021Updated 5 years ago
- ☆13May 16, 2025Updated last year
- 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 last year
- Batfish Network CI demo for Ansiblefest 2019☆36Feb 7, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Demonstration of flow control over RDMA fabric☆13Jun 28, 2018Updated 7 years ago
- ☆64Jun 29, 2022Updated 3 years ago
- Container Virtual Service☆13Aug 10, 2022Updated 3 years ago
- ☆11Apr 12, 2021Updated 5 years ago
- Collection of pytorch example networks in jupyter notebooks☆10Apr 26, 2020Updated 6 years ago
- ☆19Sep 7, 2025Updated 8 months ago
- Assignment questions for Nengo tutorial☆11Apr 11, 2024Updated 2 years ago
- Terraform provider utilizing gNMI interface and OpenConfig models☆14Apr 11, 2019Updated 7 years ago
- ☆11Oct 29, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- [NAACL 2025] LLM-Supported Natural Language to Bash Translation☆17Apr 28, 2026Updated last month
- Landing page + leaderboard for SWE-Bench benchmark☆12Mar 29, 2026Updated 2 months ago
- 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 3 months ago
- ☆87Dec 13, 2021Updated 4 years ago
- Cisco - Juniper BGP and MPLS Configuration Examples and Best Practices☆36May 5, 2017Updated 9 years ago
- ☆25Dec 31, 2021Updated 4 years ago