A modern commutative diagram editor for the web.

Proofs in Coq for the book Reflective Programs in Tree Calculus

LLM101n: Let's build a Storyteller

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

git commit --fixup, but automatic

Translate Python and JavaScript into MLIR

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

Tree sitter parser for LLVM TableGen

n2 ("into"), a ninja compatible build system

asciinema casts post-production tools

A Git-compatible VCS that is both simple and powerful

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

A book about compiling Racket and Python to x86-64 assembly

embedding MLIR in LEAN

Programming Language for Continuous Deep Analytics

Companion files for Logical Verification 2020–2021 at VU Amsterdam

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

mal - Make a Lisp

A bash kernel for IPython

The eternal text editor — Didactic Ersatz Emacs to show immutable data-structures and the single-atom architecture

A small C compiler

an Emacs "jump to definition" package for 50+ languages

A Compiler Writing Journey

Papers from the computer science community to read and discuss.

"Multi-Level Intermediate Representation" Compiler Infrastructure

A low-cost GPS module for Nikon DSLRs

A collection of code samples showing usage of clang and llvm as a library

Solutions for the exercises in the book "Seven Languages in Seven Weeks"

Let's Build a Compiler (in Haskell)