A library of NDD, a new Decision Diagram beyond BDD
☆19Jun 22, 2026Updated 3 weeks ago
Alternatives and similar repositories for NDD
Users that are interested in NDD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- [NSDI'22] Differential Network Analysis☆14Jun 2, 2022Updated 4 years ago
- ☆12Oct 21, 2020Updated 5 years ago
- Configuration Example Generalizing Synthesizer☆16Jun 12, 2025Updated last year
- A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.☆38Jul 12, 2021Updated 5 years ago
- Astraea: Towards Fair and Efficient Learning-based Congestion Control (EuroSys'24)☆20May 28, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆20May 26, 2021Updated 5 years ago
- PrintQueue: Performance Diagnosis via Queue Measurement in the Data Plane☆19Jun 23, 2023Updated 3 years ago
- [ACM SIGCOMM 2024] "m3: Accurate Flow-Level Performance Estimation using Machine Learning" by Chenning Li, Arash Nasr-Esfahany, Kevin Zha…☆25Oct 2, 2024Updated last year
- A network control-plane simulator☆20Jun 13, 2026Updated last month
- My emacs configuration☆10Jun 30, 2026Updated 2 weeks ago
- ☆15Jun 17, 2024Updated 2 years ago
- ☆10Jan 31, 2022Updated 4 years ago
- FANC is a tool for the proof transfer of incomplete verification☆13Mar 20, 2022Updated 4 years ago
- 📜 [NeurIPS 2022] "Symbolic Distillation for Learned TCP Congestion Control", S P Sharan, Wenqing Zheng, Kuo-Feng Hsu, Jiarong Xing, Ang …☆16Oct 13, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code for the paper "Minimum-Delay Adaptation in Non-Stationary Reinforcement Learning via Online High-Confidence Change-Point Detection"☆11Aug 7, 2023Updated 2 years ago
- simple tools to convert existing CLI to YANG formats (XML, JSON)☆13Jul 5, 2023Updated 3 years ago
- [TBD] "m4: A Learned Flow-level Network Simulator" by Chenning Li, Anton A. Zabreyko, Om Chabra, Arash Nasr-Esfahany, Kevin Zhao, Pratees…☆21Jun 19, 2026Updated last month
- Flow level simulation☆16Nov 22, 2015Updated 10 years ago
- Sage of Congestion Control (or How Computers Can Learn from Existing Schemes and Master Internet CC)☆51Nov 17, 2023Updated 2 years ago
- Analyzing Configuration Dependencies of File Systems [FAST'23, HotStorage'22]☆11May 17, 2025Updated last year
- sgx-based encrypted deduplication prototype☆13May 14, 2021Updated 5 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- The web front end for Overleaf, a web-based collaborative LaTeX editor. Regular pull updates from upstream. DO NOT Fork, just cherry-pick…☆16Mar 9, 2026Updated 4 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19May 2, 2023Updated 3 years ago
- An ns-3 library to simulate the real-time communication (RTC) application.☆21May 18, 2026Updated 2 months ago
- Benchmark for evaluating LLMs in network configuration problems.☆40Mar 30, 2025Updated last year
- Federated Learning (FL) experiment simulation in Python.☆23Mar 19, 2026Updated 4 months ago
- 这是一个westwood算法的进化☆15Sep 3, 2022Updated 3 years ago
- Language-independent Synthesis of Firewall Policies☆26Jan 6, 2023Updated 3 years ago
- ☆13Aug 8, 2024Updated last year
- ☆44Jan 14, 2025Updated last year
- ☆19Jan 23, 2026Updated 5 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Cellular Traces Gathered in NYC☆18Jun 23, 2020Updated 6 years ago
- The code provides an example C language based implementation of the idea proposed in the paper "SS-CDC: a two-stage parallel content-defi…☆12Sep 10, 2019Updated 6 years ago
- Reinforcement Learning environment for Congestion Control with ContainerNet☆12May 21, 2024Updated 2 years ago
- [HotStorage '24] Can ZNS SSDs be Better Storage Devices for Persistent Cache?☆13Jun 14, 2024Updated 2 years ago
- Racket language support in Emacs Org-mode☆24Aug 17, 2018Updated 7 years ago
- The repository of Genet project.☆52Nov 25, 2022Updated 3 years ago
- A congestion control plane. (SIGCOMM '18)☆84Oct 9, 2025Updated 9 months ago