SGLang is a fast serving framework for large language models and vision language models.

[NSDI'25] The library of Network Decision Diagram based on JDD.

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 …

"Paper2Slides: From Paper to Presentation in One Click"

The Z3 Theorem Prover

Python client for Batfish: https://github.com/batfish/batfish

Introduction to Machine Learning Systems

Pretrain, finetune and serve LLMs on Intel platforms with Ray

Experiments for distributed optimization algorithms

Pytorch implementation of preconditioned stochastic gradient descent (Kron and affine preconditioner, low-rank approximation preconditioner and more)

Packet-level simulation code to model Opera and other networks from the 2020 NSDI paper "Expanding across time to deliver bandwidth efficieny and low latency"

AI-Driven Research Systems (ADRS)

This repository contains the artifact for the Middleware'24 paper: "PvCC: A vCPU Scheduling Policy for DPDK-applied Systems at Multi-Tenant Edge Data Centers"

[ICLR 2022] The implementation for the paper "Equivariant Graph Mechanics Networks with Constraints".

Human-in-the-Loop Causal Analysis of Log Files

SyNET Network-wide Configuration Synthesis

Customize, control, and enhance LLM generation with logits processors, featuring visualization capabilities to inspect and understand state transitions

The LLM's practical guide: From the fundamentals to deploying advanced LLM and RAG apps to AWS using LLMOps best practices

Official code repo for the O'Reilly Book - "Hands-On Large Language Models"

Free hands-on course about Graph Neural Networks using PyTorch Geometric.

Shooting Large-scale Traffic Engineering by Combining Deep Learning and Optimization Approach (CoNEXT'25)

An extremely fast Python package and project manager, written in Rust.

Open source 5G core network based on 3GPP R15

Wasm powered Jupyter running in the browser 💡

A collection of tools, code, and documentation to understand the host network on real server hardware.

Network Automation and Programmability Abstraction Layer with Multivendor support

Sketchable function and density simulations for data science