CATEGORY
Compilers 2,341 crates
Data as of 2026-07-25 (crates.io database dump, timestamp 2026-07-25T02:00:36Z). Source: crates.io · db-dump.tar.gz · methodology & corrections.
dolfin-lintLinter for the Dolfin ontology language121MIT
i8051-disassemblerAn i8051 disassembler, useful for structured disassembly.121MIT OR Apache-2.0
kinetik-parseRust-native scripting language runtime and CLI for game engines.120MIT
midenc-hir-optA tool for parsing and rewriting HIR120MIT
oak-racketHand-written Racket frontend119MPL-2.0
pfcl-catalogContent-addressed function catalog for PFCL — identity is SHA-256 of typed source119MIT
tl-llvmLLVM backend for ThinkingLanguage (Phase 30)118Apache-2.0
doge-interpTree-walking interpreter for the Doge programming language (powers `doge repl`).118Apache-2.0
ryft-coreCore abstractions of the Ryft library.117MIT OR Apache-2.0
ryft-macrosRyft procedural macros.117MIT OR Apache-2.0
rlx-splat3D Gaussian splatting for RLX — scene types, reference pipeline, IR builders, and CPU execution.117GPL-3.0-only
eqmapEqMap: Technology Mapping w/ E-Graphs117Apache-2.0
relay-hook-transpilerMinimal JSX/TSX transpiler for Relay hooks with dynamic import() rewrite to context.helpers.loadModule and friendly errors116MIT OR Apache-2.0
dusk-langCompiler for the dusk programming language, a systems language with generational memory safety, emitting textual LLVM IR116MIT OR Apache-2.0
brink-project-configProject settings file (brink.toml) for dialect + type policy, shared by every brink compiler mount116MIT
formalangFormaLang compiler frontend: lexer, parser, semantic analyzer, and IR lowering.115MIT OR Apache-2.0
masl_formatterMaduka Authorization Specification Language (MASL) toolchain and runtime115MIT
llvm-in-rust-codegenMachine-independent code generation infrastructure for LLVM-in-Rust.113Apache-2.0
mos-layoutInline, block, and page layout for Mosaic (manifest §6 stages 5–7, §22, §33).113MIT
voce-compiler-webgpuVoce IR WebGPU compiler — compiles 3D scene IR to WebGPU render pipelines113Apache-2.0
lift-optLIFT-OPT: Pass manager and optimisation passes — constant folding, DCE, tensor fusion, gate cancellation112MIT
voce-compiler-domVoce IR DOM compiler — compiles validated IR to optimized HTML112Apache-2.0
tsbytesCompile TypeScript directly to native JVM bytecode and executable JARs112MIT
brink-syntax-nativeLexer and error-resilient CST for the .brink native surface (B0.5 grammar skeleton)112MIT
nyar-assemblerModern Nyar VM assembler - strongly typed, object-oriented, zero-dependency core111MPL-2.0
mos-parseParser for the Mosaic source language (manifest §3, §6 stages 1–2).111MIT
qudit-instAccelerated and Extensible Quantum Library111BSD-3-Clause
graphcal-packageType-safe, unit-aware, Git-friendly reactive programming language for engineering calculations111MIT OR Apache-2.0
vexil-codegen-goGo code generation backend for the Vexil schema compiler111MIT OR Apache-2.0
relon-evaluatorThe evaluation engine for the Relon language111Apache-2.0
raicRaic programming language — compiles to Rust111MIT OR Apache-2.0
synoema-coreSynoema — programming language optimized for LLM code generation111MIT
archscriptArchScript programming language — Python-like syntax, Haskell-inspired features, Arch Linux integration110MPL-2.0
voce-compiler-wasmVoce IR WASM compiler — compiles state machines and compute nodes to WebAssembly110Apache-2.0
doge-lspLanguage server for the Doge programming language (powers `doge lsp`).110Apache-2.0
simple_ir_transformerSITER - SImple Ir TransformER109BSD-3-Clause
wirespec-rtRuntime support for wirespec-generated Rust code108Apache-2.0
lift-configLIFT-CONFIG: .lith configuration language parser and validator108MIT
bop-vmBytecode compiler and stack VM for the Bop programming language108MIT OR Apache-2.0
cirq-frontendCirq frontend pipeline: source → AST → IR → Netlist108BSD-3-Clause
lift-predictLIFT-PREDICT: Performance prediction engine — analytical roofline model, budget enforcement107MIT
mottoCompiler-as-a-Service: Turn Rust schema.rs into multi-platform SDK toolkits106MIT OR Apache-2.0
lift-exportLIFT-EXPORT: Backends — LLVM IR, ONNX (opset 21), OpenQASM 3, CUDA PTX (planned), XLA (planned)106MIT
solscript-bpfDirect BPF/LLVM compilation backend for SolScript106MIT
bock-interpTree-walking interpreter for the Bock language, used by `bock run` and tests106MIT
bock-codegenMulti-target code generation for Bock — JS, TS, Python, Rust, Go106MIT
fastcA safe C-like language that compiles to C11105MIT
metaltile-coreCore IR types and data structures for the MetalTile GPU kernel DSL105Apache-2.0
rasm-coreCore of RASM x86_64 assembler105Apache-2.0
lift-hybridLIFT-HYBRID: Fusion dialect — classical-quantum data encoding, joint gradient computation104MIT
pfcl-interpreterTree-walking interpreter for PFCL — pure functions, List<Command> effects104MIT
god-graghA graph-based LLM white-box optimization toolbox: topology validation, Lie group orthogonalization, tensor ring compression104MIT OR Apache-2.0
infrA gradually typed superset of R103AGPL-3.0-or-later
jsmeldA Rust wrapper around SWC for JavaScript/TypeScript compilation and bundling103Apache-2.0
lift-astLIFT-AST: Lexer, parser, and AST for the .lif source language103MIT
abrase-cliCLI for the Abrase language.103MIT
flux-isaFLUX Instruction Set Architecture — stack-based constraint compilation VM with bytecode encoding102Apache-2.0
beadie-llvmLLVM JIT backend adapter for beadie (via inkwell)102MIT
oak-vbnetVB.NET parser for the Oaks framework102MPL-2.0
laburnum-syntax-macroProc-macros for defining CST and AST node types in language frontends built with the laburnum LSP framework.101BlueOak-1.0.0
beadie-craneliftCranelift JIT backend adapter for beadie100MIT
viper-pyA fast Python interpreter written in Rust99MIT
draxl-lower-rustLower validated Draxl Rust-profile files to ordinary Rust99MIT OR Apache-2.0
llvmkit-irLLVM IR data model in pure Rust: types, values, modules, instructions, builder.99Apache-2.0 WITH LLVM-exception
maslcMaduka Authorization Specification Language (MASL) toolchain and runtime99MIT
leo-stdEmbedded Leo standard library source99GPL-3.0
llvmkit-supportShared support utilities for the llvmkit family (Span, Spanned, SourceMap).98Apache-2.0 WITH LLVM-exception
kinetik-runtimeRust-native scripting language runtime and CLI for game engines.98MIT
intent-cliCLI toolchain for IntentLang: check, render, compile, verify, audit, query, lock, fmt, generate, init98MIT
mata-llmata-ll command-line compiler and runner: compiles a Haskell subset to Lua and runs it via an embedded Lua interpreter.97MIT
vyre-emit-metalMetal Shading Language artifact emitter for vyre KernelDescriptor. Routes through naga::Module to share substrate-neutral…96MIT OR Apache-2.0
casmCrush Assembly (CASM) — bytecode format for the Crush VM96MIT OR Apache-2.0
cargo-ats3Cargo subcommand for ATS3 projects94MPL-2.0
tsz-cliCLI binaries for the tsz TypeScript compiler94Apache-2.0
relon-irLinear-typed IR layer between Relon analyzer and codegen backends (WASM, native, JS, ...)94Apache-2.0
rlx-oneapiIntel oneAPI Level Zero backend for RLX (Arc / Data Center Max via libze_loader + SPIR-V compute kernels)94GPL-3.0-only
verter_spanTyped span primitives for Verter — compile-time safety for position encoding93MIT
relon-object-cacheOn-disk + in-memory cache for cranelift-object `.o` artefacts used by the v5-gamma native AOT pipeline93Apache-2.0
vyre-intrinsicsCat-C hardware intrinsics for vyre - ops that require a dedicated Naga emitter arm and dedicated vyre-reference eval arm. Pure…93MIT OR Apache-2.0
airl-apiHTTP API server for AIRL agent interactions with Bearer auth92MIT
washmCore engine for the WASHM WebAssembly toolchain92MIT
zigsynA pure Rust Zig syntax scanner and parser.92MIT
zeta-quantumQuantum compiler + API service using Phi-IR (Affine Weyl words), modality-aware QPU routing, and obstruction cost S_X with BMS…91MIT
librasmLibrary for using RASM.91Apache-2.0
apielA subset of the APL programming language implemented in Rust. Exports a macro for evaluating APL expressions from Rust code,…90MIT
assura-runtimeRuntime contract monitoring for Assura-generated Rust code90MIT OR Apache-2.0
lumen-langLumen — a dynamic, bytecode-compiled programming language with a bytecode VM, generational GC, and a full toolchain90MIT
gltGlint compiler library89MIT
refrain-coreDifferential Refrain Engine core: DSL parser and AST89MIT
kz80_cA self-hosting C compiler for Z80 targeting RetroShield hardware88BSD-3-Clause
monty-fsA sandboxed, snapshotable Python interpreter written in Rust.87MIT
x1zz-corex1zzLang core types — AST nodes, tokens, and shared data structures. Zero heavy dependencies.86Apache-2.0
uncpiTranspile Anchor programs to Pinocchio for 85%+ size reduction86MIT
vbrccA small C compiler with a hand-written x86-64 assembler and PE/COFF backend86GPL-3.0-or-later
crush-castCrush Abstract Syntax Tree (CAST) - Stable Intermediate Representation86MIT OR Apache-2.0
lolli-cliCommand-line interface for the Lolli linear logic workbench85MIT
metaltile-codegenMetal Shading Language (MSL) code generator for MetalTile kernels85Apache-2.0
dogelangThe Doge programming language — Python's ease, Rust's engine. Installs the `doge` CLI.85Apache-2.0
ikigai-sexprNeutral, language-agnostic s-expression foundation for ikigai's portable-code arc: a `Sexpr` datum + reader/printer, pure…84MIT OR Apache-2.0
brvmBrainrot language compiler and virtual machine84MIT
intent-implementAI-powered full implementation generation from IntentLang specifications84MIT
rlx-qnnQualcomm Hexagon NPU backend for RLX — IR → QNN model C++ → qnn-net-run on the x86 reference backend.83GPL-3.0-only
lc3dsmDisassembler for the LC-3 that decodes object files into re-assemblable annotated assembly listings83MIT OR Apache-2.0
smelt-hirShared high-level IR (HIR) types and validation for the Smelt transpiler.82GPL-3.0-only
intarsia-macrosProcedural macros for Intarsia optimizer framework82non-standard
llvmkit-asmparserLexer and parser for LLVM textual IR (.ll), mirroring llvm/lib/AsmParser.81Apache-2.0 WITH LLVM-exception
intarsia-buildBuild helpers for compiling ISLE rulset files in build scripts for Intarsia optimizers.81non-standard
pfcl-typecheckerHindley-Milner type inference for PFCL's content-addressed function catalog81MIT
crush-vmCVM1 binary bytecode assembler, disassembler, and sandboxed interpreter — standalone Crush runtime outside exosphere80MIT OR Apache-2.0
relon-object-linkET_REL -> ET_DYN link pass used by the v5-gamma native AOT pipeline before handing bytes to relon-object-cache79Apache-2.0
qala-compilerCompiler and bytecode VM for the Qala programming language79MIT
luxcA small teaching language that runs anywhere and transpiles to Rust, Swift, and Go79MIT
arithmaAn easy to use, domain-specific programming language for numeric mathematics.78MIT OR Apache-2.0
rlx-webglWebGL2 GPGPU backend for RLX — render-to-texture execution of IR graphs in the browser (forward + backward)78GPL-3.0-only
cell80Deterministic, sandboxed executable tool capsules for agents: a Z80 cell micro-VM, .cell cartridges, a warm host + index, and…78MIT OR Apache-2.0
ahsembler앟셈블러. 아희 컴파일러 및 최적화기 - Aheui compiler and CFG optimizer77AGPL-3.0-or-later
mos-evalExpression and scripting evaluator for Mosaic (manifest §4, §25).77MIT
hannibal-lexerDFA based Lexer written in Rust.77MIT
bock-coreCore stdlib registry and runtime primitives for the Bock language77MIT
smelt-stdlibShared standard-library shims and diagnostic categories used across the Smelt transpiler.76GPL-3.0-only
netdump-filterpcap-filter expression parser and CBPF compiler for netdump76MIT
rnscRNS assembler/compiler CLI for the Lagertha VM project76MIT OR Apache-2.0
sbpf-irIntermediate representation and control-flow graph for SBPF programs76MIT
bop-compileAhead-of-time Bop to Rust source transpiler76MIT OR Apache-2.0
retrolangA simple systems programming language compiler for Z80 microprocessors75BSD-3-Clause
verter_coreVue 3 SFC compiler - transforms Vue Single File Components to render functions with TypeScript support75MIT
vyre-aotAhead-of-time compilation for vyre Programs: emits target-native bytes plus a self-contained launcher bundle suitable for…75MIT OR Apache-2.0
codegen-langBackend abstraction targeting LLVM, Cranelift, or bytecode.75Apache-2.0 OR MIT
rlx-cerebrasCerebras Wafer-Scale Engine backend for RLX — IR → CSL → fabric simulator.75GPL-3.0-only
bop-sysStandard host integration for the Bop programming language75MIT OR Apache-2.0
TectMinimal (only 6 keywords), type-safe language for software architecture with rich tooling74MIT
interpretthisSandboxed Python AST interpreter for untrusted and LLM-generated code74MIT OR Apache-2.0
pojoc-buildCompile .pojoc schema files from build.rs into Rust encode/decode code74MIT
edlc_codegen_craneliftCranelift codegen backend for the EDL compiler73Apache-2.0
logicaffeine-runtimeDeterministic concurrency runtime (scheduler, channels, seed/trace) for the Logicaffeine interpreter and VM. Pure, WASM-safe,…73BUSL-1.1
kinetik-vmRust-native scripting language runtime and CLI for game engines.73MIT
pfcl-replPFCL REPL and file runner — pure functional language with content-addressed catalog73MIT
vyre-lintsLego-block enforcement lints for vyre. Forbids raw IR construction in dialect crates.73MIT OR Apache-2.0
luar_langA small, class-based scripting language inspired by Lua and Luau, with a tree-walking interpreter, static checker (Ferrite),…73MIT
kz80_lispA minimal LISP interpreter and compiler for RetroShield Z8072BSD-3-Clause
x1zz-compilerx1zzLang compiler — Lexer, Parser, AST, Type Checker, Codegen, and Rust Emitter for .xzz scripts. No heavy runtime dependencies.72Apache-2.0
rubyrsA tiny Ruby-subset interpreter in Rust, built on top of Prism72MIT OR Apache-2.0
rlx-webWebAssembly entry point for RLX — run models in the browser (CPU backend; WebGPU device bring-up)72GPL-3.0-only
dsp56300DSP56300 assembler, disassembler, and JIT emulator72MIT
lc3asAssembler for the LC-3 that translates assembly source into big-endian object files71MIT OR Apache-2.0
cairnlang-mcp-serverCairn MCP server: structural authoring surface for AI agents, a thin JSON-RPC transport over cairnlang-core.71Apache-2.0
relonPublic API facade for the Relon language71Apache-2.0
onnx-runtime-optimizerDevice-independent graph→graph optimization passes for the ORT 2.0 runtime: dead-node elimination, bounded constant folding, and…71MIT
assuraContract-first AI-native language. Write what it should do. AI proves it does.71MIT OR Apache-2.0
bop-cliCLI and REPL for the Bop programming language71MIT OR Apache-2.0
nwnrs-nwscriptNWScript frontend, compiler, bytecode, and debug tooling for Neverwinter Nights70GPL-3.0-only
retrolang-asmZ80 assembler for RetroLang (based on FantASM by Guy Black)70BSD-2-Clause
netron_axum_tsGenerate TypeScript TRPC client code from Axum Rust server code.70MIT OR Apache-2.0
vyre-emit-spirvSPIR-V binary emitter for vyre KernelDescriptor. Routes through naga::Module → naga::back::spv to share substrate-neutral…70MIT OR Apache-2.0
leo-aleo-abi-wasmWASM bindings for ABI generation from Aleo bytecode70GPL-3.0
voce-compiler-androidVoce IR Android compiler — compiles IR to Jetpack Compose with TalkBack accessibility69Apache-2.0
yuri-langCompiler for the Yuri shader language.68Apache-2.0
voce-compiler-emailVoce IR Email compiler — compiles IR to email-safe HTML with table layouts and inline CSS68Apache-2.0
voce-adapter-vercelVoce IR Vercel deployment adapter — Build Output API v368Apache-2.0
voce-adapter-cloudflareVoce IR Cloudflare Pages deployment adapter68Apache-2.0
voce-adapter-netlifyVoce IR Netlify deployment adapter68Apache-2.0
voce-adapter-staticVoce IR static deployment adapter — plain dist/ folder output68Apache-2.0
wirespecType-safe protocol description language — compiler, verifier, and LSP67Apache-2.0
ferropascalA Pascal-to-Rust transpiler that converts Borland Pascal source code into idiomatic Rust67MIT OR Apache-2.0
lower-ir-utilsHelpers for mapping Rust types to Cranelift JIT signatures, lowering call arguments, and reducing module boilerplate.67MIT
voce-compiler-hybridVoce IR hybrid compiler — per-component target selection across DOM, WebGPU, and WASM67Apache-2.0
voce-compiler-iosVoce IR iOS compiler — compiles IR to SwiftUI code with VoiceOver accessibility67Apache-2.0
synoema-codegenSynoema — programming language optimized for LLM code generation67MIT
refrain-egraphDifferential Refrain Engine: egglog rewrite engine bindings67MIT
ananse_decoderWebAssembly module decoder and validator for the Ananse zkVM67MIT OR Apache-2.0
actplane-ifc-compilerInformation-flow policy compiler for ActPlane's eBPF enforcement engine.66MIT
synoema-evalSynoema — programming language optimized for LLM code generation66MIT
bulb-parserParser and interpreter for Bulb Script66MIT
assura-macrosProc macros for inline Assura contract annotations in Rust65MIT OR Apache-2.0
smelt-mirMid-level IR (MIR) and ownership-naive optimization passes for the Smelt transpiler.64GPL-3.0-only
wirespec-lspLanguage Server Protocol server for wirespec64Apache-2.0
llvmkitRust reimplementation of LLVM IR APIs.64Apache-2.0 WITH LLVM-exception
virtual-rustA virtual machine that interprets and runs Rust source code directly without compilation64MIT
relon-codegen-craneliftLower Relon IR to native machine code via Cranelift (v5-beta-1 AOT backend)64Apache-2.0
elisprsEmacs Lisp as a fusevm frontend: a reader and compiler to fusevm::Chunk on an ElispHost object heap, with no bespoke VM or JIT64MIT OR Apache-2.0
gasripperSuper-aggressive gas optimizer for EVM bytecode and assembly64MIT
linker-langStatic linking: symbol resolution, section merging, and relocation patching.64Apache-2.0 OR MIT
quantalangDEPRECATED - renamed to `buildlang`. Install with `cargo install buildlang` (binary: buildc).64non-standard
crush-frontendPortable Crush language frontend: parser, semantic analyzer, optimizer, and CASM compiler64MIT OR Apache-2.0
smelt-specializeBuild-time host-runtime specialization (sandboxed partial evaluation) for the Smelt transpiler.63GPL-3.0-only
metaltile-runtimeApple Metal runtime dispatch for MetalTile GPU kernels63Apache-2.0
mos-pdfPDF backend for Mosaic (manifest §21.1).63MIT
mirrcMIRR compiler — a safety-critical DSL for hardware-software co-design targeting SystemVerilog RTL63Apache-2.0
vimlrsFaithful Rust port of the Vimscript (VimL) interpreter, from the Neovim C eval engine63MIT
module-langModule and import resolution for multi-file languages.62Apache-2.0 OR MIT
audio-melMélodium audio processing library61EUPL-1.2
mathicA compiler with builtin support of symbolic operations, built with LLVM/MLIR61Apache-2.0
dolfin-lsp-coreTransport-agnostic LSP logic for the Dolfin language (native + WASM)60MIT
mos-htmlSemantic HTML backend for Mosaic (manifest §21.2).60MIT
mos-packagesPackage manifest and dependency resolution for Mosaic (manifest §14).60MIT
pyra-compilerA Pythonic Smart Contract Language for the EVM60MIT
ananse_liftStatic stack-to-register lift for the Ananse zkVM60MIT OR Apache-2.0
moonjuice-transpiler-luauTranspile MoonJuice AST nodes to the Luau scripting language59MIT
mos-cacheIncremental build cache for Mosaic (manifest §7, §32).59MIT
falsecAn interpreter and compiler for the esotheric programming language FALSE.59MIT