Starred repositories
NetOpsBench: Open Arena for Agentic NetOps in AI Infrastructure
A Gymnasium environment for simulating job scheduling in Apache Spark
atang42 / batfish
Forked from batfish/batfishBatfish 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 …
Reproduction Package for the paper "Type-Constrained Code Generation with Language Models" [PLDI 2025]
Anonymized code for NCFlow, NSDI 2021 Spring submission
📐 Just-in-time logic enforcement for network data generation with LLMs
The simplest implementation of Pensieve (SIGCOMM' 17) via state-of-the-art RL algorithms, including PPO, DQN, SAC, and support for both TensorFlow and PyTorch.
Open-source implementation of AlphaEvolve
Agent-Based Automation of Network Application Workflows
A curated list of papers related to constrained decoding of LLM, along with their relevant code and resources.
Python client for Batfish: https://github.com/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 …
A curation of awesome papers, datasets and tools about network traffic analysis.
Step-by-step optimization of CUDA SGEMM
[NeurIPS 2025] Latent Zoning Networks
Benchmark for evaluating LLMs in network configuration problems.
A Benchmark Framework for Large Language Models in Network Configuration Tasks
Code for Paper "Label Noise: Ignorance Is Bliss"
Implementation of multi-core (binary) decision diagrams
Safe Interactions with Foreign Languages through Omniglot
pyddlib is a Python3 library for manipulating decision diagrams.
"How to Do Great Research" Course for Ph.D. Students
MetaOpt: Towards efficient heuristic design with quantifiable and confident performance