FazBrowse GitHub Viewer | Trending | | Home

Tools: [Original HTTPS Page]

batfish · GitHub

batfish

Overview
Repositories
Projects
Packages
People

Pinned Loading

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 …

Java 1.5k 284
pybatfish pybatfish Public

Python client for Batfish: https://github.com/batfish/batfish

Jupyter Notebook 242 55
docker docker Public

Docker containers for Batfish and Pybatfish

Python 14 13

Repositories

Type Language Sort

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

Java 1,460 Apache-2.0 284 273 6 Updated Aug 28, 2026
pybatfish Public
Python client for Batfish: https://github.com/batfish/batfish

batfish/pybatfish's past year of commit activity

Jupyter Notebook 242 Apache-2.0 55 2 0 Updated Aug 28, 2026
docker Public
Docker containers for Batfish and Pybatfish

batfish/docker's past year of commit activity

Python 14 Apache-2.0 13 0 0 Updated Aug 27, 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 5 Apache-2.0 1 66 0 Updated Aug 26, 2026
batfish.github.io Public
Contains the website for the Batfish project: https://github.com/batfish/batfish

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 12 3 0 Updated Dec 11, 2021
Antlr4Formatter Public Forked from antlr/Antlr4Formatter
Formatter for ANTLR 4 grammars

batfish/Antlr4Formatter's past year of commit activity

ANTLR 0 BSD-2-Clause 19 0 0 Updated Feb 15, 2021
z3 Public archive Forked from Z3Prover/z3
The Z3 Theorem Prover

batfish/z3's past year of commit activity

C++ 0 1,730 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 9 0 0 Updated Feb 7, 2020
ansible-demo Public archive
Repository for Ansible Demo

batfish/ansible-demo's past year of commit activity

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

View all repositories

People

Top languages

Loading…

Most used topics

Loading…

Back | FazBrowse Home | New Git URL