batfish

batfish Public
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.

batfish/batfish’s past year of commit activity
docker Public
Docker containers for Batfish and Pybatfish

batfish/docker’s past year of commit activity

Python
13
Apache-2.0
14 1 0
Updated Mar 18, 2026
batfish/pybatfish’s past year of commit activity

Jupyter Notebook
233
Apache-2.0
57 2 1
Updated Mar 16, 2026
lab-validation Public
Lab validation framework for validating Batfish network analysis results against real device data

batfish/lab-validation’s past year of commit activity

Python
3
Apache-2.0
1 66 1
Updated Mar 16, 2026
batfish/batfish.github.io’s past year of commit activity

SCSS
2
MIT
8 0 0
Updated Jul 15, 2025
ansible Public archive
Snapshot of a Batfish Ansible integration from 2020

batfish/ansible’s past year of commit activity

Python
41
Apache-2.0
13 3 0
Updated Dec 11, 2021
batfish/Antlr4Formatter’s past year of commit activity

ANTLR 0 BSD-2-Clause
19 0 0
Updated Feb 15, 2021
batfish/z3’s past year of commit activity

C++ 0
1,662 0 0
Updated May 17, 2020
af19-demo Public
Batfish Network CI demo for Ansiblefest 2019

batfish/af19-demo’s past year of commit activity

Python
36
Apache-2.0
10 0 0
Updated Feb 7, 2020
batfish/ansible-demo’s past year of commit activity

Python
5
Apache-2.0
4 1 0
Updated Jun 15, 2019