Projects in Awesome Lists tagged with network-verification

A curated list of projects in awesome lists tagged with network-verification .

• Sort

  • Recently synced
  • Stars

https://github.com/batfish/batfish

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.

configuration configuration-analysis configuration-parser network network-analysis network-automation network-security network-validation network-verification

Last synced: 12 Jan 2026

https://github.com/aristanetworks/anta

What do you call an ant with frogs legs?

anta arista arista-automation arista-networks automation network-automation network-test network-test-automation network-testing network-validation network-verification nrfu pytest test-automation

Last synced: 17 Jun 2025