nsg-ethz / snowcapView external linksLinks
Synthesizing Network-Wide Configuration Updates
☆14Jul 29, 2021Updated 4 years ago
Alternatives and similar repositories for snowcap
Users that are interested in snowcap are comparing it to the libraries listed below
Sorting:
- Mining Network Specifications from Network Configurations☆35Nov 20, 2020Updated 5 years ago
- 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
- A Framework for Modeling and Analyzing Network Configurations☆35Feb 20, 2023Updated 2 years ago
- Data repository of NAssim☆29Aug 18, 2022Updated 3 years ago
- bind+mysql☆10Jan 6, 2017Updated 9 years ago
- ☆36Jun 10, 2019Updated 6 years ago
- ☆40Sep 22, 2021Updated 4 years ago
- It is our academic final year project which is developed on JAVA. Using this project you can store your file securely on cloud or your sy…☆11Jun 21, 2019Updated 6 years ago
- Voxels brought to bevy☆12Aug 16, 2022Updated 3 years ago
- A lightweight, customizable, interpreted programming language☆12Nov 10, 2019Updated 6 years ago
- 🐬 实现大文件📄上传，断点续传等💎☆10Aug 31, 2022Updated 3 years ago
- ☆11Jul 29, 2023Updated 2 years ago
- 第四届阿里中间件性能挑战赛初赛——高性能的 Service Mesh Agent 组件：服务注册与发现、协议转换、负载均衡☆10Dec 8, 2022Updated 3 years ago
- 基于Slim3封装，用于后台管理和web开发☆10Jul 24, 2017Updated 8 years ago
- Open Policy Agent Demo for Embed file in Go☆13Oct 10, 2021Updated 4 years ago
- ☆16Jul 3, 2025Updated 7 months ago
- Towards an API for the Real Numbers☆12Jul 24, 2025Updated 6 months ago
- Keyboard firmware framework built with Rust and embassy☆13Updated this week
- Official code of our work, Summarize and Generate to Back-Translate: Unsupervised Translation of Programming Languages [arXiv].☆10Oct 6, 2022Updated 3 years ago
- The implementation of “Fine-tuning Graph Neural Networks by Preserving Graph Generative Patterns”☆11Nov 27, 2024Updated last year
- A (Python- and PowerShell-based) script that generates commands for Cisco's network devices that run IOS☆13Jun 28, 2024Updated last year
- Simple, async embedded Rust☆11Jan 14, 2021Updated 5 years ago
- NetBricks: A network function framework written in Rust and using DPDK☆13Nov 8, 2019Updated 6 years ago
- 基于Kotlin的整合代码框架，为标准库和其他框架提供各种有用的扩展。Integrated code framework based on Kotlin, provides many useful extensions for standard library and so…☆11Jan 10, 2024Updated 2 years ago
- 将阿里巴巴开源模型的Dashscope api 转换成Openai格式☆12Dec 7, 2023Updated 2 years ago
- ☆13Updated this week
- 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
- Source file fragment location and display utilities for Rust.☆17Dec 2, 2021Updated 4 years ago
- Archived in favor of https://git.sr.ht/~mistodon/gay_panic☆13Oct 30, 2025Updated 3 months ago
- P4 INT - In-Band Network Telemetry☆11Jul 8, 2019Updated 6 years ago
- [NeurIPS'22] Learning to Configure Computer Networks with Neural Algorithmic Reasoning☆11Oct 18, 2022Updated 3 years ago
- Packet-level simulation code to model Opera and other networks from the 2020 NSDI paper "Expanding across time to deliver bandwidth effic…☆15Jun 10, 2020Updated 5 years ago
- the inelegant parser☆13Dec 28, 2021Updated 4 years ago
- 基于高性能框架gin创建的生成就绪模板，集成了websocket，redis，orm。实现了请求加密模块，ip过滤，锁定用户等等功能。☆13Dec 4, 2018Updated 7 years ago
- Based on http://efficient.github.io/epaxos (morethan5 branch)☆19Aug 28, 2024Updated last year
- Python API to access the Runloop platform☆22Feb 5, 2026Updated last week
- Data sets for experiments and performance evaluations of Delta-net☆11Mar 24, 2021Updated 4 years ago
- Sabre360: simulation testbed for 360° videos☆14Oct 14, 2020Updated 5 years ago
- Robust and strongly consistent hybrid cloud storage library☆14Nov 24, 2016Updated 9 years ago