A technical report on convolution arithmetic in the context of deep learning

FlashInfer: Kernel Library for LLM Serving

KernelBench: Can LLMs Write GPU Kernels? - Benchmark + Toolkit with Torch -> CUDA (+ more DSLs)

Ph.D. Dissertation: Improving Compiler Construction Using Formal Methods

Unsloth Studio is a web UI for training and running open models like Gemma 4, Qwen3.5, DeepSeek, gpt-oss locally.

MSCCL++: A GPU-driven communication stack for scalable AI applications

Microsoft Collective Communication Library

UpTrain is an open-source unified platform to evaluate and improve Generative AI applications. We provide grades for 20+ preconfigured checks (covering language, code, embedding use-cases), perform…

ONNX Runtime: cross-platform, high performance ML inferencing and training accelerator

Development repository for the Triton language and compiler

TOML-annotated C header file format for packaging binary files, from Microsoft Research

Open source cross-platform compiler for compute-intensive loops used in AI algorithms, from Microsoft Research

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Running Clang/LLD in WebAssembly Demo

Vaccine Appointment Tracker built for the Pioneer Valley of Massachusetts. Capabilities are flexible and could be reapplied to other regions.

A benchmarking suite and tooling for Wasmtime and Cranelift

WASI-enabled WebAssembly C/C++ toolchain

The Tensor Algebra SuperOptimizer for Deep Learning

Optimized C library for EC operations on curve secp256k1

Code samples for Back to Back SWE lessons (archive).

CommonMark spec, with reference implementations in C and JavaScript

😎 Curated list of awesome resources on Compilers, Interpreters and Runtimes

A library for manipulating Souper IR

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

"Testing Static Analyses for Precision and Soundness". This is an artifact of our work accepted at the CGO 2020.

print information from LLVM dataflow analyses

Automatic verification of LLVM optimizations

This is the canonical git mirror of the LLVM subversion repository. The repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Testing Static Analyses for Precision and Soundness