Backward compatible ML compute opset inspired by HLO/MHLO

A StableHLO analyzer in Lean

A modern model graph visualizer and debugger

Supporting PyTorch models with the Google AI Edge TFLite runtime.

The missing pieces (as far as boilerplate reduction goes) of the upstream MLIR python bindings.

Low-precision matrix multiplication

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

The fundamental package for scientific computing with Python.

Use this to build intuition for the IEEE floating-point format

Backward compatible ML compute opset inspired by HLO/MHLO

Stores documents and resources used by the OpenXLA developer community

A retargetable MLIR-based machine learning compiler and runtime toolkit.

Reinforcement learning environments for compiler and program optimization tasks

Circuit IR Compilers and Tools

Automatic verification of LLVM optimizations

Intel PMU profiling tools

A curated list of awesome LLVM (including Clang, etc) related resources.

Front end side of quick-bench

Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Andrew Jenner's various personal projects

.NET Tool for parsing and utilizing x86 semantics defined in K. It currently features a WIP symbolic expression generator for VTIL.

An implementation of examples from "Head First Design Patterns", written in C++.

Research prototype tool for modular formal verification of C and Java programs

Experiments in using VeriFast verification tool

Document mathematical Go code beautifully

An LLVM sanitizer tutorial

The x86 processor fuzzer

A unit test-like interface for fuzzing and symbolic execution