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.

Using network observability to operate and design healthier networks

What do you call an ant with frogs legs?

A Framework for Modeling and Analyzing Network Configurations

This software allows checking some parameters and create some MAPs.

Code backing the Networking Test Pyramid

Analyzes generic firewall rules and detects conflicts and anomalies.

Network Automations Fabric

A Kotlin application that uses MVVM architecture, network connection checking, cache, recyclerview and retrofit!

This repository has a Python package and Python scripts to test Arista devices.

Arista network test automation demo