Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

The Z3 Theorem Prover

Guidelines Support Library

The C++ Standard Library for Parallelism and Concurrency

Playing around "Less Slow" coding practices in C++ 20, C, CUDA, PTX, & Assembly, from numerics & SIMD to coroutines, ranges, exception handling, networking and user-space IO

The Torch-MLIR project aims to provide first class support from the PyTorch ecosystem to the MLIR ecosystem.

Simple operating system in C++, written from scratch

BladeDISC is an end-to-end DynamIc Shape Compiler project for machine learning workloads.

Source code for the book Building a Debugger

Stanford CS149 -- Assignment 1

Programmable JIT Compilation and Optimization for C/C++ using LLVM

LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semantics.

Library for implementing some collectives including allGather and AllReduce, in simulation mode as well as regular use mode. To be merged into Charm++ once mature. (this is so that we can bypass th…

C++ Trading Core library for learning purposes