Pinned Repositories
d2l-zh
《动手学深度学习》:面向中文读者、能运行、可讨论。中英文版被70多个国家的500多所大学用于教学。
d2go
D2Go is a toolkit for efficient deep learning
detectron2
Detectron2 is a platform for object detection, segmentation and other visual recognition tasks.
glow
Compiler for Neural Network hardware accelerators
stoke
STOKE: A stochastic superoptimizer and program synthesizer
triton
Development repository for the Triton language and compiler
RPG-DiffusionMaster
[ICML 2024] Mastering Text-to-Image Diffusion: Recaptioning, Planning, and Generating with Multimodal LLMs (PRG)
PATO-Pointer-Analysis
Andersen's pointer analysis in Prolog as part of the PATO (Program Analysis Through Ontology) project.
PATO-ROSE
PATO - Program Analysis Through Ontology
yzhao30's Repositories
yzhao30/PATO-Pointer-Analysis
Andersen's pointer analysis in Prolog as part of the PATO (Program Analysis Through Ontology) project.
yzhao30/PATO-ROSE
PATO - Program Analysis Through Ontology