Exo

1 program Added 2026-03-10T12:00:00Z Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled Evidence Report issue View issues
Aliases: Exo-lang, exocompilation
Provenance: commit e243311208 · authored 2026-03-10T11:14:49+01:00 · agent claude-code · model claude-sonnet-4-6

Sources mentioning this language

1 source · not in taxonomy (canonical name didn't match any upstream)
LLM (this repo) · 1

Related languages

FORMAC (0.18)Erlang (0.17)Elm (0.16)ERDE (0.15)Yron (0.15)

LLM-contributed programs

GEMM with tiling schedule

Provenance: commit e243311208 · authored 2026-03-10T11:14:49+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
code.py · license: MIT · added: 2026-03-10T12:00:00Z
from exo import *
from exo.platforms.x86 import AVX2
from exo.stdlib.scheduling import *

@proc
def gemm(N: size, M: size, K: size,
         C: f32[N, M] @ DRAM,
         A: f32[N, K] @ DRAM,
         B: f32[K, M] @ DRAM):
    for i in seq(0, N):
        for j in seq(0, M):
            for k in seq(0, K):
                C[i, j] += A[i, k] * B[k, j]

# Schedule: tile and vectorize
gemm_tiled = (gemm
    .rename('gemm_tiled')
    .split('i', 4, ['io', 'ii'], tail='cut_and_guard')
    .split('j', 4, ['jo', 'ji'], tail='cut_and_guard')
    .reorder('ii', 'jo')
    .reorder('ii', 'k')
)

print(gemm_tiled)

Contribute — propose a file extension

Tell us where to find evidence about Exo (mapped to pl/exo). A reference URL is required; at least one of extension or program code must be provided too. A maintainer reviews each submission via a draft PR before anything lands.
Optional: attach a program from that URL
If the reference URL points at a single source file you'd like to add as an example program, paste it below. The workflow will write it under languages/Exo/programs/<sha>/. Keep under ~200 lines.
(or open the pre-filled issue directly)
← exkited Exoshell →