A Python-level JIT compiler designed to make unmodified PyTorch programs faster.

Constrained Decoding of Diffusion LLMs with Context-Free Grammars.

language-agnostic program reducer.

A collection of Triton kernels, YMMV

A highly customizable macOS status bar replacement

Verified Intermediate Representation

(No longer maintained) A faster and highly-compatible implementation of the Python programming language.

A verification toolchain for Rust programs

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

qTox is a chat, voice, video, and file transfer IM client using the encrypted peer-to-peer Tox protocol.

Efficiently computes derivatives of NumPy code.

yet another minimal implementation of PyTorch

😻 It's the cat's meow! 😽

The procedural generation voxel engine

Tilus is a tile-level kernel programming language with explicit control over shared memory and registers.

A static, type inferred and embeddable language written in Rust.

Minimalist, dependency-free virtual machine sandbox for microcontrollers and other resource-constrained devices. Single C file, no dynamic memory allocations, asynchronous design, pure C99

Lightweight library for scraping web-sites with LLMs

Extending JAX with xDSL.

Introduction to MLIR and xDSL training course

An xDSL reimplementation of torch-mlir in O(1) code.

IREE plugin repository for the AMD AIE accelerator

AMD-SHARK Inference Modeling and Serving

MoltenVK is a Vulkan Portability implementation. It layers a subset of the high-performance, industry-standard Vulkan graphics and compute API over Apple's Metal graphics framework, enabling Vulkan…

Metal Shader Language(MSL) examples.

PSOC™ 6 port for MicroPython - the lean and efficient Python implementation for microcontrollers and constrained systems.

MLIR metal dialect