Skip to content
@batfish

batfish

Pinned Loading

  1. 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.2k 233

  2. pybatfish pybatfish Public

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

    Jupyter Notebook 214 52

  3. docker docker Public

    Docker containers for Batfish and Pybatfish

    Python 11 14

Repositories

Showing 10 of 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.

    batfish/batfish’s past year of commit activity
    Java 1,180 Apache-2.0 233 269 0 Updated Dec 13, 2024
  • pybatfish Public

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

    batfish/pybatfish’s past year of commit activity
    Jupyter Notebook 214 Apache-2.0 52 1 0 Updated Dec 13, 2024
  • 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 Nov 5, 2024
  • docker Public

    Docker containers for Batfish and Pybatfish

    batfish/docker’s past year of commit activity
    Python 11 Apache-2.0 14 3 1 Updated Oct 14, 2024
  • 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
  • Antlr4Formatter Public Forked from antlr/Antlr4Formatter

    Formatter for ANTLR 4 grammars

    batfish/Antlr4Formatter’s past year of commit activity
    ANTLR 0 BSD-2-Clause 16 0 0 Updated Feb 15, 2021
  • z3 Public Forked from Z3Prover/z3

    The Z3 Theorem Prover

    batfish/z3’s past year of commit activity
    C++ 0 1,509 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 33 Apache-2.0 11 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
  • javabdd Public archive

    Fork of JavaBDD (http://javabdd.sourceforge.net/)

    batfish/javabdd’s past year of commit activity
    Java 0 2 0 0 Updated Jul 24, 2018
View all repositories

Top languages

Loading…

Most used topics

Loading…