batfish

All

13 repositories

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.
network configuration network-analysis network-automation network-security configuration-parser network-verification configuration-analysis network-validation
Java
•
Apache License 2.0
•238•1.2k•272•3•Updated Mar 31, 2025Mar 31, 2025
pybatfish
Public
Python client for Batfish: https://github.com/batfish/batfish
Jupyter Notebook
•
Apache License 2.0
•54•222•1•0•Updated Mar 31, 2025Mar 31, 2025
docker
Public
Docker containers for Batfish and Pybatfish
Python
•
Apache License 2.0
•14•12•3•1•Updated Jan 29, 2025Jan 29, 2025
batfish.github.io
Public
Contains the website for the Batfish project: https://github.com/batfish/batfish
SCSS
•
MIT License
•8•2•0•0•Updated Nov 5, 2024Nov 5, 2024
ansible
Public archive
Snapshot of a Batfish Ansible integration from 2020
Python
•
Apache License 2.0
•13•41•3•0•Updated Dec 11, 2021Dec 11, 2021
Antlr4Formatter
Public
Formatter for ANTLR 4 grammars
ANTLR
•
BSD 2-Clause "Simplified" License
•17•0•0•0•Updated Feb 15, 2021Feb 15, 2021
z3
Public
The Z3 Theorem Prover
C++
•
Other
•1.5k•0•0•0•Updated May 17, 2020May 17, 2020
af19-demo
Public
Batfish Network CI demo for Ansiblefest 2019
Python
•
Apache License 2.0
•11•34•0•0•Updated Feb 7, 2020Feb 7, 2020
ansible-demo
Public archive
Repository for Ansible Demo
Python
•
Apache License 2.0
•4•5•1•0•Updated Jun 15, 2019Jun 15, 2019
javabdd
Public archive
Fork of JavaBDD (http://javabdd.sourceforge.net/)
Java
•
Other
•2•0•0•0•Updated Jul 24, 2018Jul 24, 2018
example-dc
Public
2•0•0•0•Updated Apr 16, 2018Apr 16, 2018
example-campus
Public
An example campus network
2•0•0•0•Updated Oct 11, 2017Oct 11, 2017
minesweeper
Public
HTML
•2•3•0•0•Updated Aug 23, 2017Aug 23, 2017