Catalogue tag

#network-verification

Every repository in the public record carrying this tag — from its GitHub topics or the keywords its package registries publish. Health is measured under the same versioned methodology as the rest of the record.

2 records

Tagged “network-verification”Ranked by health index

PyPI

95Exceptionalhealth index

aristanetworks/anta

Arista Network Test Automation (ANTA) Framework

Python★ 88Sep 10, 2026

Apache-2.0Sep 10, 2026 · metrics 2.10.0

PyPI

91Excellenthealth index

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.

Java★ 1,504Oct 18, 2026

Apache-2.0Oct 18, 2026 · metrics 2.10.0