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.
zetacThe final systems language1,068MIT
tmp-typst-utils-custom-metadataUtilities for Typst.1,068Apache-2.0
tmp-typst-macros-custom-metadataProc-macros for Typst.1,065Apache-2.0
tmp-typst-syntax-custom-metadataParser and syntax tree for Typst.1,063Apache-2.0
tmp-typst-library-custom-metadataTypst's standard library.1,057Apache-2.0
asaAdvanced Subleq Assembler. Assembles 'sublang' to subleq1,056GPL-3.0-or-later
midenc-frontend-wasm-metadataShared frontend metadata codec for the Miden Wasm frontend1,052MIT
brink-dbIncremental project database for inkle's ink narrative scripting language1,052MIT
glyph-parserPython-like parser for the Glyph programming language1,051MIT OR Apache-2.0
cas-vmVirtual machine that executes CalcScript bytecode1,041MIT
tsz-commonCommon types and utilities for the tsz TypeScript compiler1,038Apache-2.0
maat_astAbstract syntax tree (AST) for the Maat programming language1,037MIT OR Apache-2.0
tmp-typst-layout-custom-metadataTypst's layout engine.1,034Apache-2.0
brink-jsonParser for inklecate .ink.json output format1,022MIT
alan-von-palladiumThe Alan von Palladium Programming Language - A systems programming language combining Turing's correctness with von Neumann's…1,019MIT
tmp-typst-svg-custom-metadataSVG exporter for Typst.1,003Apache-2.0
peakrdl-rust-buildBuild script helper that runs PeakRDL-rust to generate Rust register access code from SystemRDL files1,000MIT OR Apache-2.0
logicaffeine-compileLOGOS compilation pipeline - codegen and interpreter999BUSL-1.1
tmp-typst-html-custom-metadataTypst's HTML exporter.997Apache-2.0
omg_runtimeThe OMG language runtime and virtual machine, providing bytecode execution, REPL, and built-in functions.995MIT
brink-driverPipeline orchestration for the brink ink compiler991MIT
nlccNameless C Compiler989MIT
maimaiMarkup-based meme generator982AGPL-3.0-or-later
xodA tiny REPL for bitwise arithmetic and expression evaluation.980MIT OR Apache-2.0
markerml_cliCLI for simple markup and templating language, that is transpiled to HTML.980MIT
cte_irCompile-time evaluation IR974MIT
tmp-typst-realize-custom-metadataTypst's realization subsystem.973Apache-2.0
tsz-scannerTypeScript scanner/tokenizer for the tsz compiler972Apache-2.0
tmp-typst-eval-custom-metadataTypst's code interpreter.972Apache-2.0
tmp-typst-custom-metadataA new markup-based typesetting system that is powerful and easy to learn.962Apache-2.0
promptlcA Crate for PromptL Template Compilation959MIT
kotlin-parserKotlin Language Parser (WIP)956MIT
roblox-rs-coreCore compiler for translating Rust code to Luau for the Roblox platform955MIT
depyler-hirHigh-level Intermediate Representation types for the Depyler transpiler954MIT OR Apache-2.0
synth-backend-aarch64AArch64 (A64) host-native backend for synth — integer subset (milestone 1, #538)949Apache-2.0
hephasmAssembler for Asmodeus architecture with macro support and extended instructions943MIT
brink-codegen-inkbBytecode codegen backend: LIR → StoryData (inkb format)941MIT
brink-fmtSource code formatter for inkle's ink narrative scripting language939MIT
z80_forth_derive_internalsTypes used by the derive macros for the z80_forth compiler939MPL-2.0
brink-codegen-jsonJSON codegen backend: LIR → ink.json format939MIT
sariSimple arithmetic expression evaluator933MIT OR Apache-2.0
turTuring Machine Language - Parser, interpreter, and execution engine931MIT OR Apache-2.0
brink-compilerCompiler for inkle's ink narrative scripting language922MIT
nolanaAn extremely fast parser Molang parser.917MIT
brink-runtimeRuntime/VM for executing compiled ink stories914MIT
tsz-parserTypeScript parser and AST types for the tsz compiler904Apache-2.0
tabulon_macrosInternal procedural macros for the tabulon expression engine.902MIT
tmp-typst-pdf-custom-metadataPDF exporter for Typst.900Apache-2.0
mex-langMex, a language for describing software systems and data.895MIT
bicycle_benchmarkGenerates PBC circuits that can be used for benchmarking894Apache-2.0
naga-rust-embedTranslates WGSL shader code to Rust embedded in your Rust code.894MIT OR Apache-2.0
thalir-transformSolidity to ThalIR transformation893MPL-2.0
maat_fieldFinite field arithmetic and value-to-field encoding for the Maat programming language889MIT OR Apache-2.0
thalir-emitEmitters for ThalIR - textual and annotated output889MPL-2.0
wasi-assemblerModern assembler for WASM and WASI (wit-component) - strongly typed, object-oriented, zero-dependency core880MPL-2.0
decy-agentBackground daemon for incremental transpilation and watching880MIT OR Apache-2.0
tmp-typst-render-custom-metadataRaster image exporter for Typst.880Apache-2.0
lora-analyzerSemantic analysis for parsed Cypher queries in LoraDB.876BUSL-1.1
xliff2XLIFF 2.0 read/write library871MIT
nargo-style-processorNargo style processor869MIT
bynk-renderBynk's shared diagnostic-rendering layer: ariadne human output and the short/json forms over bynk-syntax::CompileError. The…868MIT OR Apache-2.0
lambdustA Scheme dialect with gradual typing and effect systems859MIT OR Apache-2.0
brink-ideProtocol-agnostic IDE query library for inkle's ink858MIT
blink_coreCore interpreter for the Blink Lisp dialect855MIT
maat_runtimeRuntime value system for the Maat programming language850MIT OR Apache-2.0
bynk-ideBynk's IDE/LSP analysis surface: non-bailing single-file and project diagnostics over the captured bynk-check tables — the…848MIT OR Apache-2.0
riluaLua 5.1.1 implemented in Rust, targeting the World of Warcraft addon variant.843MIT OR Apache-2.0
bf_playgroundA interpreter and Rust libary for brainf**k841non-standard
tsz-binderTypeScript name binder for the tsz compiler836Apache-2.0
brink-intlInternationalization tooling for brink stories834MIT
bevy-brink-deriveDerive macros for bevy-brink ink bindings834MIT
depyler-analysisAnalysis, type inference, and optimization passes for the Depyler transpiler830MIT OR Apache-2.0
depyler-toolingIDE, debugging, documentation, and tooling support for the Depyler transpiler826MIT OR Apache-2.0
depyler-lambdaAWS Lambda transpilation support for the Depyler Python-to-Rust transpiler825MIT OR Apache-2.0
forgellm-frontendModel parsing (GGUF, SafeTensors) and IR construction for ForgeLLM822MIT
brink-lspLanguage server for inkle's ink narrative scripting language822MIT
decy-repoGitHub repository transpilation with parallel processing821MIT OR Apache-2.0
decy-bookBook-based verification for transpiled Rust code819MIT OR Apache-2.0
decy-mcpMCP server for Claude Code integration819MIT OR Apache-2.0
tale_libA Scripting language for TTRPG Tables816MPL-2.0
brink-cliCLI for compiling and running ink stories814MIT
webots-proto-templateTemplate evaluation for Webots PROTO documents.807MIT
soppoCompiler for Soppo, a Go superset with enums, pattern matching, and nil safety806BSD-3-Clause
lora-compilerQuery-plan compiler for LoraDB's Cypher implementation.797BUSL-1.1
hmacroA simple macro preprocessor796GPL-3.0-or-later
mist-parserThe Mist programming language parser796Apache-2.0
bevy-brinkBevy asset integration for brink ink stories789MIT
resrap-rsA rule based code generator784MIT
langpipeA flexible Rust library for building custom compilers and interpreters with a modular pipeline for lexing, parsing, transforming,…781MIT
unboundLocally nameless representation with automatic capture-avoiding substitution and alpha equivalence779MIT
python-assemblerParse and write Python .pyc bytecode774MPL-2.0
tsz-solverTypeScript type solver for the tsz compiler765Apache-2.0
yellerThe best programming language ever.759MIT
kataanA high-performance JavaScript engine written in pure Rust. Library, C FFI, and CLI.759MIT
decyCLI tool for C-to-Rust transpilation with EXTREME quality standards755MIT OR Apache-2.0
lex-runtimeEffect handler runtime + capability policy for Lex.754EUPL-1.2
osom_encoders_commonCommon utilities for osom_encoders_* projects.753MIT
z80_forth_deriveDerive macros for the z80_forth compiler750MPL-2.0
mux-runtimeRuntime library for the Mux programming language745MIT
edlc_analysisCode analysis utils EDL compiler741Apache-2.0
ling-langLing - The Omniglot Systems Language737Apache-2.0 OR MIT
rlxRLX — small ML compiler + runtime for transformer inference and training. JAX-shaped IR, autodiff, vmap, on top of CPU / Apple…736GPL-3.0-only
tl-lexerLexer/tokenizer for ThinkingLanguage735Apache-2.0
bynkcThe Bynk compiler — a typed function-then-context DSL that compiles to TypeScript.732MIT OR Apache-2.0
luaur-analysisLuau type checker and type inference (Rust).727MIT
maat_bytecodeBytecode format and serialization for the Maat virtual machine (MVM)724MIT OR Apache-2.0
bund_stdlib_analysisNumeric and text analysis for BUND programming language723non-standard
somniSomni scripting language and VM722MIT OR Apache-2.0
workspacer-register-crate-filesFacilitates the registration and management of crate files within a Rust workspace using Rust 2024.711MIT
enforce-script-lspLanguage Server Protocol implementation for Enforce Script710GPL-3.0
spydecy-cC AST parser for Spydecy transpiler with CPython API recognition709MIT OR Apache-2.0
lex-traceRun-time trace tree + replay for Lex programs.706EUPL-1.2
spydecy-optimizerCross-layer optimizer for Spydecy transpiler with boundary elimination705MIT OR Apache-2.0
spydecy-codegenRust code generator for Spydecy transpiler - generates idiomatic safe Rust701MIT OR Apache-2.0
lolli-coreCore data structures for the Lolli linear logic workbench700MIT
bicycle_numericsCompute numerics for bicycle circuits700Apache-2.0
lex-vcsAgent-native version control: typed op log + attestation graph.696EUPL-1.2
lux-langThe Lux programming language691Apache-2.0
bynk-grammarShared grammar definitions for the Bynk DSL.683MIT OR Apache-2.0
satteri-mdxjsCompile MDX to JavaScript in Rust.681MIT
aver-rtShared Rust runtime pieces for Aver-generated programs678MIT
logicaffeine-clilargo — the LOGOS build tool: new/init/build/run/check/verify/publish for logicaffeine projects675BUSL-1.1
seuilA complete, safe JSONata implementation in Rust — JSON query, transform, and expression evaluation670Apache-2.0
tl-parserRecursive descent parser for ThinkingLanguage668Apache-2.0
boa-catTree-walking ECMAScript interpreter built on ecma-syntax-cat. v0.7.2 lands three integration tests pinning down the existing…667MIT OR Apache-2.0
sassoA pure-Rust SCSS to CSS compiler (a dart-sass alternative). Zero dependencies, wasm-friendly, embeddable as a library and usable…666MIT OR Apache-2.0
bynk-lspbynkc-lsp — the Language Server for the Bynk DSL.664MIT OR Apache-2.0
zoisiteZoisite is a programming language designed specifically for competitive programming.656non-standard
glyph-runtimeRuntime execution engine for the Glyph programming language651MIT OR Apache-2.0
octofhir-fhirpath-compilerBytecode compiler and virtual machine for FHIRPath expressions649MIT OR Apache-2.0
ecma-parse-catECMAScript parser consuming ecma-lex-cat tokens and producing ecma-syntax-cat Program ASTs. Comprehensive ES2024 surface…648MIT OR Apache-2.0
blink_runtimeRuntime lib for creating plugins for blink646MIT
portalis-packagingWASM packaging agent for deployment646MIT
portalis-testTesting agent for translation validation645MIT
portalis-buildBuild agent for compiling Rust to WASM643MIT
intent-parserPEG parser and typed AST for the IntentLang specification language643MIT
oak-pythonHand-written Python frontend643MPL-2.0
portalis-transpilerPython to Rust transpiler engine with WASM compilation support640MIT
qudit-coreAccelerated and Extensible Quantum Library632BSD-3-Clause
forgellm-optimizerGraph-level optimizations for ForgeLLM (fusion, layout, quantization, memory planning)632MIT
logicaffeine-lspLanguage Server Protocol implementation for LOGOS (the logicaffeine language)629BUSL-1.1
destackRust client for Destack629MIT
i8051-debug-tuiA TUI for debugging the i8051 microcontroller emulator.628MIT OR Apache-2.0
rust-cel-parserA parser for the CEL language626MIT
portalis-analysisCode analysis agent for Python compatibility assessment620MIT
portalis-specgenSpecification generation agent619MIT
petravm-verifierPetraVM's verifier617Apache-2.0
portalis-ingestPython code ingestion and parsing agent617MIT
ecma-syntax-catECMAScript abstract syntax tree as comp-cat-rs-idiomatic Rust types. ESTree-shaped, ES2024-complete, no panics, no Rc, no…616MIT OR Apache-2.0
tl-aiAI/ML integration for ThinkingLanguage — tensors, training, inference, LLM616Apache-2.0
van-signal-genSignal-based JavaScript code generator for Van template engine612MIT
edlc_coreCore library for the EDL compiler609Apache-2.0
swamp-layoutMemory layout calculation for Swamp ABI types, handling size, alignment, and efficient representation of data structures607MIT
ternlang-moeTernary Mixture-of-Experts orchestrator (MoE-13). Dual-key routing, triad synthesis, safety hard gate, three-tier memory,…605LGPL-3.0-or-later
tsz-loweringAST-to-type lowering bridge for tsz605Apache-2.0
ecma-lex-catECMAScript lexer producing Spanned<Token> values for ecma-syntax-cat. ES2024 token surface (keywords, punctuators, all numeric…603MIT OR Apache-2.0
petravm-asmPetraVM's custom assembly language parser and interpreter.600Apache-2.0
framecFrame language transpiler — state machines that generate production code596Apache-2.0
lex-storeContent-addressed on-disk store for Lex stages, branches, and traces.595EUPL-1.2
elenchus-compilerCompiles parsed elenchus DSL into a canonical Impossible/CNF clause IR: import resolution, desugaring, atom interning,…594MIT
luaurLuau (Roblox's typed Lua) implemented in Rust: compiler, VM, and type checker. Umbrella crate.594MIT
safety-passCompiler pass infrastructure for safety-net591MIT OR Apache-2.0
avdlAvro IDL compiler that turns .avdl into .avpr and .avsc JSON files590Apache-2.0
petravm-proverPetraVM's prover589Apache-2.0
ilsDirectly read directory in image files.588Apache-2.0
spydecySelf-hosted Python/C-to-Rust compiler-debugger with introspective debugging585MIT OR Apache-2.0
mist-codegenThe Mist programming language Rust code generator581Apache-2.0
taleA Scripting language for TTRPG Tables577MPL-2.0
nargo-bundlerNargo bundler component567MIT
libjunoLibrary for JunoLang560non-standard
zust-vm-spirvSPIR-V code generation backend for the Zust scripting language.559Apache-2.0
thalir-parserParser for ThalIR files559MPL-2.0
haloumi-synthesisSynthesis step of the haloumi lowering pipeline.558non-standard
asmodeusComplete assembler and emulator for Asmodeus architecture553MIT
qcs-sdk-pythonPython bindings to qcs-sdk-rust550Apache-2.0
cemcCem language compiler - A concatenative language with green threads and linear types546MIT
stoffel-vm-typesShared bytecode, instruction, and runtime value types for the Stoffel virtual machine545Apache-2.0
maat_lexerDFA-based lexer for the Maat programming language542MIT OR Apache-2.0
haloumi-ir-genIR generation step of the haloumi lowering pipeline.542non-standard
tl-packagePackage manager for ThinkingLanguage539Apache-2.0
graphix-package-sysA dataflow language for UIs and network programming, sys package539MIT
dslcompileHigh-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation538AGPL-3.0-or-later
tl-streamStreaming and pipeline engine for ThinkingLanguage (Phase 4)534Apache-2.0
lift-coreLIFT-CORE: SSA IR foundation — types, values, operations, blocks, regions, verifier533MIT
hybrid-compileA lib for compiling RUST code to to risc-v smart contract bytecode532MIT
van-compilerServer-side HTML compiler for Van template engine (.van files)531MIT
tl-langA differentiable programming language with tensor support for machine learning531MIT
tl-dataData engine for ThinkingLanguage — DataFusion, connectors, I/O529Apache-2.0
brainstemA Brainfuck compiler and interpreter library, with a BrainStem frontend language.529MIT
tl-irIntermediate Representation for ThinkingLanguage table pipe optimization527Apache-2.0
ion-coreEmbeddable scripting language with a bytecode VM525MIT
sui-resolveParse-time variable-resolution side-table for the sui tree-walker — precomputes each ident's interned Symbol so the hot Ident arm…524MIT
rlx-tensorNative ndarray alternative for RLX — NumPy-style tensors that trace, fuse, and run on any backend via the rlx compiler519GPL-3.0-only
luna-jit-helpersShared `luna_jit_*` extern-C runtime helpers + per-thread JIT_VM/JIT_CL TLS slots + `enter_jit` RAII rebind for the goliajp/luna…518MIT OR Apache-2.0
luna-jit-deriveProcedural macros for the luna-jit Lua runtime. The `#[derive(LuaUserdata)]` macro lives here so the parent `luna-core` crate…515MIT OR Apache-2.0
draxl-astTyped AST and metadata model for Draxl514MIT OR Apache-2.0
tendaTenda - a programming language for Portuguese speakers514GPL-3.0-or-later
rlx-tpuGoogle TPU backend — drives libtpu's PJRT plugin from Rust.513GPL-3.0-only
graphix-package-arrayA dataflow language for UIs and network programming, array package509MIT
solscript-astAbstract Syntax Tree types for the SolScript compiler508MIT