#compiler

An LLM-native programming language: you declare intent, and it lowers to a semantic IR that runs on an interpreter or compiles through MLIR to a native binary.

A statically typed language and compiler for AI agents. Write once, verify statically, compile to a portable Agent IR.

🪨 why input many code when few code do trick. Slashes input tokens by up to ~80% across 9 languages via AST pruning, ultra-dense "caveman" syntax and more for AI coding agents.

Agent-native language and verifiable execution platform by LED ACTION LLC

Compile S-expression specs into Go scaffolding via lowering passes and tree tiling, leaving typed holes for an LLM.

LLM-driven evolutionary search that discovers a better qubit-layout heuristic than the one it starts with, measured by the two-qubit gate count Qiskit emits after routing. Runs on the qBraid AI Gateway or your own GPU.

Write AI coding-agent skills once. Compile to every tool — Claude Code, Cursor, Codex, Windsurf, Aider, OpenCode, Gemini CLI, Copilot, Continue.

An experimental general-purpose language designed so that a compiler can guide an LLM to correct code. Typed holes, checked effects, race freedom without a borrow checker.

Vow: the agent-first programming language. The signature is the contract.

Finco programming language — simple, natural, AI-friendly, and Python-compatible.

Kenga: programming language, self-hosted compiler, bytecode VM, emit to C99