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.
☆10Mar 23, 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:
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 6 years ago
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆18Jun 19, 2022Updated 4 years ago
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 5 years ago
- SyNET Network-wide Configuration Synthesis☆29Dec 7, 2017Updated 8 years ago
- A tool for finding configuration anomalies.☆14Jul 31, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Practical Network-Wide Configuration Synthesis with Autocompletion☆46Sep 18, 2025Updated last year
- ☆82Apr 13, 2018Updated 8 years ago
- Data repository of NAssim☆32Aug 18, 2022Updated 4 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- Resume by markdown.☆10Aug 10, 2019Updated 7 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆13Oct 18, 2022Updated 4 years ago
- ☆11Jul 3, 2016Updated 10 years ago
- Hackathon-104☆10Jul 19, 2023Updated 3 years ago
- A new IPv6 address generator for Entropy/IP☆10Sep 20, 2018Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Mining Network Specifications from Network Configurations☆37Nov 20, 2020Updated 5 years ago
- Data sets for experiments and performance evaluations of Delta-net☆11Mar 24, 2021Updated 5 years ago
- Collection of DPDK Experiments☆12Nov 5, 2018Updated 7 years ago
- Cost-aware network traffic analysis☆13Dec 20, 2023Updated 2 years ago
- Debiasing Through Data Attribution☆13May 23, 2024Updated 2 years ago
- Simple libpcap usage example☆12Jul 9, 2024Updated 2 years ago
- Collection of pytorch example networks in jupyter notebooks☆10Apr 26, 2020Updated 6 years ago
- A client-server based file transfer program using UDP and TCP written in Python.☆10Apr 13, 2015Updated 11 years ago
- ☆11Apr 12, 2021Updated 5 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.
- [NSDI'22] Differential Network Analysis☆15Jun 2, 2022Updated 4 years ago
- Demonstration of flow control over RDMA fabric☆13Jun 28, 2018Updated 8 years ago
- Python client for Batfish: https://github.com/batfish/batfish☆244Oct 23, 2026Updated last week
- Official repository for the paper "EllieSQL: Cost-Efficient Text-to-SQL with Complexity-Aware Routing".☆26Jul 24, 2025Updated last year
- ☆12Jun 15, 2026Updated 4 months ago
- C-BGP is a BGP routing solver☆13Sep 15, 2013Updated 13 years ago
- A patch to implement lottery scheduling policy on MINIX 3.1.7.☆13Nov 29, 2011Updated 14 years ago
- Container Virtual Service☆13Aug 10, 2022Updated 4 years ago
- ☆14Mar 11, 2025Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ☆25Nov 13, 2024Updated last year
- ☆17Jul 30, 2025Updated last year
- ☆26May 29, 2026Updated 5 months ago
- ☆15Feb 22, 2018Updated 8 years ago
- 2024秋SJTU自然辩证法复习资料汇总☆27Feb 19, 2026Updated 8 months ago
- Experiments and course for oscamp.☆12May 5, 2025Updated last year
- Class Incremental learning, Task Incremental Learning☆17Dec 19, 2022Updated 3 years ago