Synthesizing Network-Wide Configuration Updates
☆14Jul 29, 2021Updated 5 years ago
Alternatives and similar repositories for snowcap
Users that are interested in snowcap are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Batfish is a network configuration analysis tool that can find bugs and guarantee the correctness of (planned or current) network configu…☆18Jun 19, 2022Updated 4 years ago
- Practical Network-Wide Configuration Synthesis with Autocompletion☆45Sep 18, 2025Updated last year
- A framework for automated testing of network analysis and verification tools.☆18Feb 23, 2021Updated 5 years ago
- A Framework for Modeling and Analyzing Network Configurations☆36Feb 20, 2023Updated 3 years ago
- Mining Network Specifications from Network Configurations☆37Nov 20, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Longitudinal IP to ASN mapping☆12Aug 23, 2025Updated last year
- ☆25Sep 27, 2020Updated 5 years ago
- Data sets for experiments and performance evaluations of Delta-net☆11Mar 24, 2021Updated 5 years ago
- ☆26Mar 8, 2024Updated 2 years ago
- A throughput benchmarking tool for network topologies☆11Nov 22, 2016Updated 9 years ago
- ☆11May 30, 2023Updated 3 years ago
- Landing page for Software for Open Networking in the Cloud (SONiC) - http://azure.github.io/SONiC/☆13Updated this week
- ☆42Sep 22, 2021Updated 5 years ago
- Vectorized Font Awesome icons packaged up in OmniGraffle stencils.☆13Jun 18, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Java implementation of the BGP4 protocol.☆13Dec 16, 2016Updated 9 years ago
- HyperTest is developed upon Tofino for high-performannce and flexible network testing. Some code of HyperTester could only runs in Tofino…☆11Dec 1, 2019Updated 6 years ago
- A Telegram bot for 2019-nCoV daily report to BUPT☆37Dec 8, 2022Updated 3 years ago
- Sabre360: simulation testbed for 360° videos☆13Oct 14, 2020Updated 5 years ago
- SyNET Network-wide Configuration Synthesis☆29Dec 7, 2017Updated 8 years ago
- DeepMatch: Practical Deep Packet Inspection in the Data Plane using Network Processors☆15Dec 21, 2020Updated 5 years ago
- Code for "Solving Large-Scale Granular Resource Allocation Problems Efficiently with POP", which appeared at SOSP 2021☆28Dec 15, 2021Updated 4 years ago
- Hexo theme suited for coding blogs, bootstrap based☆11Aug 20, 2018Updated 8 years ago
- p4Installer: Fully-automated installer for creating P4 workspace.☆12Aug 21, 2018Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆13Aug 6, 2022Updated 4 years ago
- low-latency foveated video encoding☆14Jun 21, 2023Updated 3 years ago
- Sonic quagga is a fork of savannah project quagga☆15Jul 14, 2020Updated 6 years ago
- Artifacts for the "SurgeProtector: Mitigating Temporal Algorithmic Complexity Attacks using Adversarial Scheduling" paper that appears in…☆13Jun 24, 2022Updated 4 years ago
- Implementation of the ""Constant Time Updates in Hierarchical Heavy Hitters" paper, ACM SIGCOMM 2017☆21Jun 11, 2018Updated 8 years ago
- Twenty Years After: Hierarchical Core-Stateless Fair Queueing☆18Feb 26, 2021Updated 5 years ago
- PCAP BGP Parser☆84Jul 4, 2021Updated 5 years ago
- ☆12Jan 15, 2019Updated 7 years ago
- Reusable slice of references☆12Jul 12, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Another go implement of estk.me rlpa-server☆19Apr 26, 2024Updated 2 years ago
- P4 source code of FCM-Sketch☆18Feb 23, 2021Updated 5 years ago
- Artifacts for the "Caching with Delayed Hits" paper that appears in SIGCOMM '20.☆21Feb 26, 2021Updated 5 years ago
- LOOM Controller☆33May 10, 2016Updated 10 years ago
- In-band Network Telemetry(INT) using P4 for traffic engineering☆18May 1, 2019Updated 7 years ago
- P4Runtime-enabled Mininet Docker image that uses BMv2 simple_switch_grpc as the default switch☆21Jun 27, 2022Updated 4 years ago
- ☆14Aug 3, 2020Updated 6 years ago