Skip to content

@batfish batfish

All

    Repositories list

    14 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 net…
      networkconfigurationnetwork-analysis
      networkconfigurationnetwork-analysisnetwork-automationnetwork-securityconfiguration-parsernetwork-verificationconfiguration-analysisnetwork-validation
      Java
      •
      Apache License 2.0
      •284•1.5k•273•4•Updated Sep 1, 2026Sep 1, 2026

    • docker

      Public
      Docker containers for Batfish and Pybatfish
      Python
      •
      Apache License 2.0
      •13•14•0•0•Updated Aug 31, 2026Aug 31, 2026

    • pybatfish

      Public
      Python client for Batfish: https://github.com/batfish/batfish
      Jupyter Notebook
      •
      Apache License 2.0
      •55•243•2•0•Updated Aug 31, 2026Aug 31, 2026

    • lab-validation

      Public
      Lab validation framework for validating Batfish network analysis results against real device data
      Python
      •
      Apache License 2.0
      •1•5•66•1•Updated Aug 31, 2026Aug 31, 2026

    • batfish.github.io

      Public
      Contains the website for the Batfish project: https://github.com/batfish/batfish
      SCSS
      •
      MIT License
      •8•2•0•0•Updated Jul 15, 2025Jul 15, 2025

    • ansible

      Public archive
      Snapshot of a Batfish Ansible integration from 2020
      Python
      •
      Apache License 2.0
      •12•41•3•0•Updated Dec 11, 2021Dec 11, 2021

    • Antlr4Formatter

      Public
      Formatter for ANTLR 4 grammars
      ANTLR
      •
      BSD 2-Clause "Simplified" License
      •18•0•0•0•Updated Feb 15, 2021Feb 15, 2021

    • z3

      Public archive
      The Z3 Theorem Prover
      C++
      •
      Other
      •1.7k•0•0•0•Updated May 17, 2020May 17, 2020

    • af19-demo

      Public
      Batfish Network CI demo for Ansiblefest 2019
      Python
      •
      Apache License 2.0
      •9•36•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
      1•0•0•0•Updated Apr 16, 2018Apr 16, 2018

    • example-campus

      Public
      An example campus network
      1•0•0•0•Updated Oct 11, 2017Oct 11, 2017

    • minesweeper

      Public
      HTML
      •1•4•0•0•Updated Aug 23, 2017Aug 23, 2017
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.