Topic Hub
#network-verification (1 Repositories)
Ranked open-source repositories tagged with #network-verification, scored by pull request acceptance likelihood and maintainer engagement velocity.
Topic Avg Merge Rate
90.7%
Avg Review Latency
196.6h
Filter by language
Rankings/rankings/java
1 repositories tagged #network-verification
A TierJava 1.5k
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.
90.7%
Merge Rate
8d
First Review
71%
1st-Timers
5
Maintainers