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
- Data repository of NAssim☆29Aug 18, 2022Updated 3 years ago
- [NSDI'22] Differential Network Analysis☆14Jun 2, 2022Updated 4 years ago
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Mining Network Specifications from Network Configurations☆36Nov 20, 2020Updated 5 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆43Sep 18, 2025Updated 9 months ago
- ☆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
- 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
- Simple libpcap usage example☆12Jul 9, 2024Updated 2 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.
- P4runpro: Enabling Runtime Programmability for RMT Switches☆16Aug 26, 2024Updated last year
- ☆10Aug 1, 2019Updated 6 years ago
- ☆13May 16, 2025Updated last year
- Batfish Network CI demo for Ansiblefest 2019☆36Feb 7, 2020Updated 6 years ago
- Demonstration of flow control over RDMA fabric☆13Jun 28, 2018Updated 8 years ago
- Python client for Batfish: https://github.com/batfish/batfish☆239Updated this week
- ☆66Jun 29, 2022Updated 4 years ago
- Container Virtual Service☆13Aug 10, 2022Updated 3 years ago
- ☆11Apr 12, 2021Updated 5 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.
- Collection of pytorch example networks in jupyter notebooks☆10Apr 26, 2020Updated 6 years ago
- Terraform provider utilizing gNMI interface and OpenConfig models☆14Apr 11, 2019Updated 7 years ago
- [NAACL 2025] LLM-Supported Natural Language to Bash Translation☆17Apr 28, 2026Updated 2 months ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆14Jun 20, 2024Updated 2 years ago
- A simple utility for doing RISC-V HPM perf monitoring.☆18May 8, 2017Updated 9 years ago
- Collection of datasets for network research.☆15Jul 26, 2020Updated 5 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
- 基于LLM实现CHIP2021-Task3中文临床术语标准化任务，准确率约70%。☆16Dec 16, 2024Updated last year
- MPLS VPNs (VPLS, VPWS, L3VPN) on eNSP using Huawei Routers☆11Feb 11, 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.
- ☆20May 26, 2021Updated 5 years ago
- Class Incremental learning, Task Incremental Learning☆17Dec 19, 2022Updated 3 years ago
- Collection of open substrate pallets☆26Jun 18, 2026Updated 3 weeks ago
- Data plane and control plane implementations of our three variants of PIE for Tofino in P4_16.☆15Jun 28, 2021Updated 5 years ago
- C++ librdmacm wrapper☆14Mar 2, 2012Updated 14 years ago
- PrintQueue: Performance Diagnosis via Queue Measurement in the Data Plane☆19Jun 23, 2023Updated 3 years ago
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆1,418Updated this week