A framework for automated testing of network analysis and verification tools.
☆17Feb 23, 2021Updated 5 years ago
Alternatives and similar repositories for Metha
Users that are interested in Metha are comparing it to the libraries listed below
Sorting:
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆17Jun 19, 2022Updated 3 years ago
- Tool using automatic template inference to find network misconfigurations☆13Jul 15, 2020Updated 5 years ago
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 3 years ago
- Framwork for the work "Large Language Models for Zero Touch Network Configuration Management"☆12Jun 20, 2024Updated last year
- SyNET Network-wide Configuration Synthesis☆28Dec 7, 2017Updated 8 years ago
- Synthesizing Network-Wide Configuration Updates☆14Jul 29, 2021Updated 4 years ago
- DeepMatch: Practical Deep Packet Inspection in the Data Plane using Network Processors☆15Dec 21, 2020Updated 5 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆41Sep 18, 2025Updated 5 months ago
- Batfish Network CI demo for Ansiblefest 2019☆36Feb 7, 2020Updated 6 years ago
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆37Jul 12, 2021Updated 4 years ago
- Automatic Test Packet Generation☆47Aug 11, 2015Updated 10 years ago
- CCIE routing and switching notes and references, with a general directory and specific topic directories.☆26Oct 5, 2021Updated 4 years ago
- This repository contains the open source of the Pyramid sketch framework (accepted by VLDB 2017 and then submitted to ToN).☆20Sep 29, 2018Updated 7 years ago
- ☆12Apr 8, 2021Updated 4 years ago
- 网络防火墙策略自动化工具☆11May 29, 2025Updated 9 months ago
- ☆24Nov 7, 2017Updated 8 years ago
- ☆81Apr 13, 2018Updated 7 years ago
- pyATS Example script for Cisco IOS Testbed☆30Dec 3, 2021Updated 4 years ago
- Data repository of NAssim☆29Aug 18, 2022Updated 3 years ago
- ☆36Sep 26, 2020Updated 5 years ago
- Connect to Cisco AnyConnect VPN and open a Microsoft Remote Desktop (RDP) window☆11Aug 9, 2023Updated 2 years ago
- Parses BGP/AS data from multiple different sources☆11Dec 4, 2021Updated 4 years ago
- an opensource clone of Earthcore: Shattered Elements☆10Jan 27, 2023Updated 3 years ago
- ☆34Oct 23, 2023Updated 2 years ago
- ☆11May 16, 2025Updated 9 months ago
- Language for simplifying parameterized RTL design☆12Nov 6, 2024Updated last year
- Open Traffic Generator examples available to everyone. It's a great way to get started.☆39Feb 24, 2026Updated last week
- Appleseed Portal - Appleseed allows individuals and organizations to unify Information into one Web Portal on the C# & ASP.NET Platform.☆14Apr 17, 2019Updated 6 years ago
- Python script to pull perfmon data into InfluxDB, which can then be used in Grafana☆11May 3, 2020Updated 5 years ago
- Line of business tooling for VOIP services.☆11Feb 22, 2026Updated last week
- CUCM Bulk TFTP Upload☆12Jun 4, 2018Updated 7 years ago
- ☆12Aug 18, 2022Updated 3 years ago
- EMC ScaleIO Powershell Toolkit☆10Apr 13, 2016Updated 9 years ago
- Demonstration of a pure Java Certificate Authority and HTTPS client and servers☆12Jan 26, 2026Updated last month
- MPLS VPNs (VPLS, VPWS, L3VPN) on eNSP using Huawei Routers☆11Feb 11, 2020Updated 6 years ago
- Configuration files for kayobe. Mirror of code maintained at opendev.org.☆10Feb 23, 2026Updated last week
- ☆11Sep 8, 2022Updated 3 years ago
- PHPebEx - A Unofficial Cisco WebEx Class for XML API☆11Jul 3, 2013Updated 12 years ago
- GNS3 Topology Converter☆15Jan 28, 2016Updated 10 years ago