Compilers 2,341 crates

qudit-exprAccelerated and Extensible Quantum Library504BSD-3-ClauseCompilersData structures tsz-checkerTypeScript type checker for the tsz compiler504Apache-2.0CompilersDevelopment tools mist-langThe Mist programming language compiler503Apache-2.0Command-line interfaceCompilers portalis-orchestrationPipeline orchestration for multi-agent workflows501MITCompilersDevelopment tools ion-deriveDerive macro for Ion scripting language host types499MITCompilers flow_astAbstract Syntax Tree definitions for the Flow programming language492MITCompilersDevelopment tools luna-jitA Lua runtime in pure Rust — full 5.1/5.2/5.3/5.4/5.5 support. Equivalent to `luna-core` plus a Cranelift-backed JIT (method +…491MIT OR Apache-2.0CompilersNo standard library flow_lexerLexical analyzer for the Flow programming language491MITCompilersDevelopment tools parlex-calcParlex example: simple calculator489MITCompilersParsing tools vexil-langCompiler library for the Vexil schema definition language — lexer, parser, IR, and type checker484MIT OR Apache-2.0CompilersDevelopment tools bicycle_random_numericsCollect numerics for random Pauli-generated rotations run on the bicycle architecture483Apache-2.0CompilersScience flowlog-runtimeRuntime support crate for FlowLog — re-exports timely/differential-dataflow and provides helpers used by flowlog-build-generated…483Apache-2.0CompilersDatabase interfaces zust-vm-metalMetal shader source generation backend for the Zust scripting language.482Apache-2.0CompilersRendering crainA Brainfuck compiler/interpreter/tool480MITCompilersParser implementations wirespec-syntaxParser and AST for the wirespec protocol description language478Apache-2.0CompilersEncoding aardvark-coreRuntime for executing sandboxed python bundles inside V8.478Apache-2.0CompilersDevelopment tools brink-converterConverts inklecate .ink.json to brink .inkb format476MITCompilersGame development montyA sandboxed, snapshotable Python interpreter written in Rust.474MITCompilersDevelopment tools stoffel-vmRegister-based virtual machine runtime and MPC execution engine for Stoffel programs472Apache-2.0CompilersCryptography stator_jseStator JavaScript engine core — parser, bytecode compiler, Maglev JIT, interpreter, GC471MITCompilersWebAssembly maat_parserCombinator-based parser for the Maat programming language469MIT OR Apache-2.0CompilersParser implementations maat_vmStack-based virtual machine for the Maat programming language468MIT OR Apache-2.0Compilers typst-batchTypst helper library for batch processing — friendly API, shared resources, virtual files, customizable diagnostics460MITCompilersText processing bynk-stripStrip-only TypeScript→JavaScript for Bynk's first-class JS artefact (the in-browser track). Erases TypeScript type syntax via…460MIT OR Apache-2.0CompilersDevelopment tools graphix-package-strA dataflow language for UIs and network programming, string package456MITCompilersGUI oak-javascriptJavaScript frontend for Oak (reuses TypeScript implementation)454MPL-2.0CompilersDevelopment tools spec-checkerProperty-based and runtime-gate checker for Lex specs.453EUPL-1.2CompilersDevelopment tools retroshield-z80-workbenchZ80 code generation framework for RetroShield projects451BSD-3-ClauseCompilersDevelopment tools dmc-diagnosticShared diagnostic codes and source metadata for the dmc MDX compiler450MITCompilersParser implementations portalis-cuda-bridgeCUDA GPU acceleration bridge for parallel processing450MITCompilersDevelopment tools patch-rexxA modern REXX interpreter in Rust450MITCommand line utilitiesCompilers portalis-nemo-bridgeNVIDIA NeMo LLM integration for AI-powered translation449MITCompilersDevelopment tools stoffellangCompiler for Stoffel programs targeting the Stoffel VM bytecode format449Apache-2.0CompilersCryptography oak-csharpC# frontend for Oak444MPL-2.0CompilersDevelopment tools xidl-api-keycloakA IDL codegen.443Apache-2.0CompilersNetwork programming tl-compilerBytecode compiler and VM for ThinkingLanguage (Phase 2)441Apache-2.0CompilersDevelopment tools suscCompiler for the SUS Hardware Design Language439GPL-3.0-or-laterCompilersText processing wirespec-semaSemantic analysis and Semantic IR for wirespec438Apache-2.0CompilersEncoding umc_parserThe Universal Markup-language Compiler, Rust-based.438MITCompilersDevelopment tools maat_codegenBytecode code generation for the Maat programming language436MIT OR Apache-2.0Compilers lex-apiHTTP/JSON + MCP server surface for the Lex toolchain.435EUPL-1.2CompilersDevelopment tools solscript-parserParser for SolScript - Solidity-style language for Solana433MITCompilersCryptography::Cryptocurrencies sema-langSema — a Lisp dialect with first-class LLM primitives432MITCommand line utilitiesCompilers bock-errorsDiagnostic error types and source span machinery for the Bock language compiler431MITCompilersDevelopment tools mist-apiThe Mist programming language module system430Apache-2.0Compilers marzipanA macro processor for ZZT worlds428MITCommand line utilitiesCompilers tur-cliCommand-line interface for Turing machine simulator424MIT OR Apache-2.0Command line utilitiesCompilers z80_forthA Forth compiler for z80 processors, particularly aimed towards the TI-8x series of graphing calculators.423MPL-2.0Command line utilitiesCompilers tsz-lspLanguage Server Protocol implementation for the tsz compiler422Apache-2.0CompilersDevelopment tools jeff-formatRust bindings for the jeff exchange format417Apache-2.0Compilers maat_stdlibStandard library sources for the Maat programming language416MIT OR Apache-2.0Compilers cedar-policy-mcp-schema-generatorAuto-Generates Cedar schemas from an MCP server's tool descriptions.415Apache-2.0CompilersConfiguration fob-configConfiguration loading and validation for the Fob bundler411MITCompilersDevelopment tools dmc-lexerMDX, JSX, and GFM tokenizer for the dmc compiler410MITCompilersParser implementations kaio-coreKAIO core — PTX IR types and emission. Part of the KAIO GPU kernel authoring framework.408MIT OR Apache-2.0CompilersHardware support forgellm-codegen-gpuGPU code generation via wgpu/WGSL for ForgeLLM408MITCompilersScience maat_typesHindley-Milner type inference engine for the Maat programming language407MIT OR Apache-2.0Compilers lift-tensorLIFT-TENSOR: AI dialect — tensor types, attention, KV cache, MoE, quantisation406MITCompilersScience graphix-package-mapA dataflow language for UIs and network programming, map package406MITCompilersGUI flow_parserParser for the Flow programming language405MITCompilersDevelopment tools lift-quantumLIFT-QUANTUM: Quantum dialect — qubits (linear types), gates, noise attributes, layout mapping404MITCompilersScience haloumi-backendGeneric backend API of the haloumi framework.396non-standardCompilers forgellm-codegen-wasmWASM + WebGPU code generation for ForgeLLM391MITCompilersScience stator_jse_ffiStator JavaScript engine — stable C FFI layer for embedding391MITCompilersExternal FFI bindings forgellm-runtimeMinimal runtime for ForgeLLM (KV cache, sampling, tokenizer, API server)389MITCompilersScience junoccCompiler for JunoLang388non-standardCompilers ternlang-runtimeDistributed actor runtime for ternlang — TCP-based TernNode with remote spawn/send/await over newline-JSON protocol.386LicenseRef-BSL-1.1CompilersScience solar-lspSolidity LSP386MIT OR Apache-2.0CompilersCryptography maat_traceTrace-generating virtual machine for the Maat programming language385MIT OR Apache-2.0Compilers forgellm-codegen-cpuCPU code generation (x86 AVX2/512, ARM NEON) for ForgeLLM385MITCompilersScience bock-sourceSource file management and FileId mapping for the Bock language compiler383MITCompilersDevelopment tools depyler-corpusDeterministic scientific corpus analysis for Python-to-Rust transpilation quality measurement381MIT OR Apache-2.0CompilersDevelopment tools qudit-tensorAccelerated and Extensible Quantum Library381BSD-3-ClauseCompilersData structures proto-blue-codegenAT Protocol code generator: Lexicon JSON -> Rust source381MIT OR Apache-2.0CompilersDevelopment tools ternlang-hdlVerilog-2001 codegen for balanced ternary — BET processor primitives, sparse matmul array, FPGA simulation wrapper.379LicenseRef-BSL-1.1CompilersScience xidl-api-discordA IDL codegen.377Apache-2.0CompilersNetwork programming depyler-graphDependency graph analysis for Python-to-Rust transpilation error reasoning373MIT OR Apache-2.0CompilersDevelopment tools xidl-api-redditA IDL codegen.371Apache-2.0CompilersNetwork programming helHEL — Heuristic Expression Language: a deterministic, auditable expression language & parser, AST, builtin registry and evaluator.370Apache-2.0CompilersDevelopment tools thinkinglanguage-typesThinkingLanguage — Type system and type checker370Apache-2.0CompilersDevelopment tools csw-coreCore categorical structures for the Categorical Semantics Workbench - define categories and derive type systems369MIT OR Apache-2.0CompilersDevelopment tools rust-bfA Brainfuck interpreter, generator, REPL, and IDE written in Rust368Apache-2.0Command line utilitiesCompilers xidl-api-githubA IDL codegen.365Apache-2.0CompilersNetwork programming otter-runtimeJavaScriptCore runtime for otter - TypeScript/JavaScript execution engine365MITCompilersDevelopment tools graphix-package-randA dataflow language for UIs and network programming, rand package362MITCompilersGUI abacusThe mathemagical programming language360MITCommand line utilitiesCompilers edlc_layoutderive layouts for EDL types360Apache-2.0CompilersScience dmc-parserTyped AST parser for the dmc MDX compiler353MITCompilersParser implementations kaio-macrosProc macro crate for KAIO — provides #[gpu_kernel] attribute macro.353MIT OR Apache-2.0CompilersDevelopment tools::Procedural macro helpers smc_scan_coreCore module for the Scan model checker.353Apache-2.0CompilersConcurrency graphix-package-reA dataflow language for UIs and network programming, regex package353MITCompilersGUI solscript-typeckType checker and semantic analysis for SolScript351MITCompilersCryptography::Cryptocurrencies symjit-bridgea bridge bwtween Symjit compiler and Symbolica CAS351MITCompilersHardware support umjunsikUmjunsik Language compiler targeting Lamina IR350Apache-2.0CompilersParser implementations factorio-irIntermediate representation for factorio-rs Rust-to-Lua Factorio mod transpilation349MITCompilersData structures rosetta-stone-coreCore types and traits for the Rosetta transpiler348MIT OR Apache-2.0CompilersDevelopment tools runar-compiler-rustRust implementation of the Rúnar compiler (full pipeline: .runar.ts → Bitcoin Script)347MITCompilers graphix-package-tuiA dataflow language for UIs and network programming, TUI package347MITCompilersGUI portalis-cliCLI for Portalis - GPU-accelerated Python to Rust/WASM transpiler345MITCompilersDevelopment tools worldinterface-flowspecFlowSpec parser, validator, and compiler to ActionQueue DAG344Apache-2.0Compilers forgellm-codegen-metalMetal GPU code generation for Apple Silicon inference in ForgeLLM342MITCompilersScience tsz-emitterTypeScript-to-JavaScript emitter and transforms for the tsz compiler340Apache-2.0CompilersDevelopment tools voce-schemaVoce IR schema definitions and generated FlatBuffers bindings336Apache-2.0CompilersDevelopment tools umc_parser_napiThe Universal Markup-language Compiler, Rust-based.335MITCompilersDevelopment tools cargo-annealFormally verify that your safety comments are correct.335BSD-2-Clause OR Apache-2.0 OR MITCompilersDevelopment tools::Cargo plugins bock-astAbstract syntax tree definitions for the Bock language335MITCompilersDevelopment tools miden-package-registry-localFilesystem-backed local package registry for Miden packages334MIT OR Apache-2.0Command line utilitiesCompilers nargo-transformerNargo transformer component332MITCompilersDevelopment tools product-farm-json-logicJSON Logic parser, AST, and bytecode compiler for Product-FARM332MITCompilersParser implementations maat_moduleModule system and multi-file compilation for the Maat programming language329MIT OR Apache-2.0Compilers wirespec-layoutLayout IR for wirespec328Apache-2.0CompilersEncoding intent-checkSemantic analyzer and type checker for IntentLang specifications328MITCompilersDevelopment tools ts-nativeTypeScript to Native AOT compiler — compile .ts to native .exe via Cranelift326MITCompilersDevelopment tools aver-lspLSP server for the Aver programming language326MITCompilersDevelopment tools tl-gpuGPU tensor compute for ThinkingLanguage via wgpu324Apache-2.0CompilersDevelopment tools ag-cThe ag language compiler - a Rust-inspired functional language323MIT OR Apache-2.0CompilersDevelopment tools kotobas-wasmWASM bindings for the KotobaScript compiler321MIT OR Apache-2.0CompilersWebAssembly maat_evalTree-walking interpreter and macro expansion engine for the Maat programming language321MIT OR Apache-2.0Compilers umc_spanThe Universal Markup-language Compiler, Rust-based.319MITCompilersDevelopment tools ryft-xla-sysRyft bindings for XLA.319MIT OR Apache-2.0CompilersHardware support masl_astMaduka Authorization Specification Language (MASL) toolchain and runtime318MITCompilersDevelopment tools mist-analyzerThe Mist programming language Analyzer LSP318Apache-2.0Compilers haloumi-ir-baseTypes used by the IR and by some modules that the IR depends on.317Apache-2.0Compilers masl_diagnosticsMaduka Authorization Specification Language (MASL) toolchain and runtime317MITCompilersDevelopment tools luna-runtime-helpersStatic-link runtime entry for AOT-produced binaries. Exposes a single C-ABI symbol `luna_aot_run(bytecode, len) -> i32` that…312MIT OR Apache-2.0CompilersNo standard library dmc-transformTransform pipeline and built-in transformers for the dmc compiler312MITCompilersParser implementations luna-aotAhead-of-time compiler from Lua source to self-contained native binary, built on luna-core's VM. v1.3 scaffold ships the…311MIT OR Apache-2.0CompilersNo standard library h2langH2 Language - A Herbert Online Judge compatible programming language with multi-agent support310MITCompilersParser implementations js2zig-coreCore JS-to-Zig transpiler library308MIT OR Apache-2.0CompilersDevelopment tools graphcal-compilerType-safe, unit-aware, Git-friendly reactive programming language for engineering calculations308MIT OR Apache-2.0CompilersScience rlx-cortexmCortex-M backend for RLX — INT8 kernels for ARMv7E-M microcontrollers (e.g. nRF52840)307GPL-3.0-onlyAlgorithmsCompilers ringkernel-wgpu-codegenWGSL code generation from Rust DSL for RingKernel306Apache-2.0CompilersDevelopment tools junolspLanguage Server for JunoLang306non-standardCompilers luna-jit-llvmLLVM 18 + inkwell 0.9 alternative JIT backend for the goliajp/luna Lua runtime. Lives alongside `luna-jit` (Cranelift); backend…302MIT OR Apache-2.0CompilersNo standard library synoema-lexerSynoema — programming language optimized for LLM code generation302MITCompilersDevelopment tools maat_airCPU constraint system (AIR) for the Maat programming language301MIT OR Apache-2.0CompilersCryptography kaioRust-native GPU kernel authoring framework. Write GPU compute kernels in Rust, automatically lower to PTX. Cross-platform…298MIT OR Apache-2.0CompilersHardware support luaur-code-genNative (A64/X64) code generation for Luau (Rust).297MITCompilers dmc-highlightBundled syntect grammars and themes for dmc syntax highlighting295MITCompilersParser implementations bop-langA small, embeddable, dynamically-typed programming language with zero dependencies293MIT OR Apache-2.0Compilers ternlang-cliCommand-line interface for ternlang — run, build, sim, fmt, repl, and compat commands for the Balanced Ternary Execution VM.292LGPL-3.0-or-laterCompilersScience wirespec-codecBackend-neutral Codec IR for wirespec289Apache-2.0CompilersEncoding mos-coreCore document model, IDs, and diagnostics for Mosaic (manifest §5, §31).289MITCompilersText processing airl-irCore IR data structures for AIRL (AI-native Intermediate Representation Language)289MITCompilersDevelopment tools aprender-verify-mlSynthetic Data Factory for Domain-Specific Code Intelligence289MITCompilersDevelopment tools::Testing pflow-dslS-expression DSL for defining token model schemas288MITCompilersParsing tools nexus-langA programming language for generating component network descriptions.288MPL-2.0CompilersParser implementations ternlang-lspLSP 3.17 language server for ternlang — hover docs, code completion, and live diagnostics for .tern files.287LGPL-3.0-or-laterCompilersScience tl-lspLanguage Server Protocol implementation for ThinkingLanguage285Apache-2.0CompilersDevelopment tools gonidiumA DSL compiler and REPL for typed numeric expression pipelines285MITCompilersMathematics serpentineNode based build system written in rust.284MITCommand line utilitiesCompilers typespec_rsA Rust implementation of the TypeSpec type system — parser, checker, and emitter283MITCompilersDevelopment tools factorio-codegenLua code generator for the factorio-rs Rust-to-Lua Factorio mod toolchain282MITCompilersDevelopment tools rlx-optimRLX training-step optimizers — Adam, AdamW, NAdamW, RAdam, QHAdamW, LAMB, Adafactor, Lion, SOAP, Kron-PSGD, Muon, Sophia, MARS282GPL-3.0-onlyAlgorithmsCompilers tl-interpreterTree-walking interpreter for ThinkingLanguage (Phase 0)281Apache-2.0CompilersDevelopment tools qudit-macrosAccelerated and Extensible Quantum Library279BSD-3-ClauseCompilersData structures rlx-coremlApple CoreML / Neural Engine (ANE) backend for RLX — lowers the IR to an ML Program (MIL) and runs it through CoreML.framework278GPL-3.0-onlyAlgorithmsCompilers sui-bytecodeBytecode compiler and VM for the sui Rust-native Nix evaluator277MITCompilers forgellm-cliCLI tool for the ForgeLLM compiler275MITCompilersScience ternlang-mcpMCP server for ternlang — connects any AI agent to balanced ternary decision logic via trit_decide and friends.274LicenseRef-BSL-1.1CompilersScience graphcal-ioFilesystem implementations for the Graphcal compiler274MIT OR Apache-2.0CompilersScience masl_hirMaduka Authorization Specification Language (MASL) toolchain and runtime273MITCompilersDevelopment tools draxl-printerLanguage-dispatch facade for Draxl rendering272MIT OR Apache-2.0CompilersDevelopment tools flowlog-buildBuild-time FlowLog compiler for library mode.272Apache-2.0CompilersDatabase interfaces nargo-optimizerNargo optimizer component272MITCompilersDevelopment tools otter-engineOtter JavaScript engine272MITCompilersDevelopment tools ternlang-compatCompatibility bridges for the ternary ecosystem — .tasm 9-trit assembler → BET bytecode, Owlet S-expression front-end.271LGPL-3.0-or-laterCompilersScience factorio-frontendRust frontend that parses Factorio mod sources and lowers them to factorio-ir271MITCompilersGame development ebnftobnfA straightforward EBNF to BNF reducer271MITAlgorithmsCompilers nargo-hydrateNargo hydration support271MITCompilersDevelopment tools nargo-ssrNargo server-side rendering270MITCompilersDevelopment tools a2x-derivea2x's derive macro269GPL-3.0-or-laterCommand line utilitiesCompilers melbiMelbi is an expressive, embeddable, sandboxed expression language.268MIT OR Apache-2.0CompilersDevelopment tools bock-airAnnotated Intermediate Representation (AIR) for the Bock compiler — typed, scope-resolved, effect-aware267MITCompilersDevelopment tools csw-deriveType system derivation engine for the Categorical Semantics Workbench - derive type theories from categorical structures266MIT OR Apache-2.0CompilersDevelopment tools iloilo - the token-minimal programming language AI agents write266MITCommand line utilitiesCompilers constraint-compilerDeterministic projection-to-inference graph compiler for the recursive inference kernel265MITAlgorithmsCompilers dmc-codegenHTML and MDX body emitters for the dmc compiler264MITCompilersParser implementations intent-irAgent IR lowering, verification, and audit bridge for IntentLang264MITCompilersDevelopment tools vexil-codegen-rustRust code generation backend for the Vexil schema compiler261MIT OR Apache-2.0CompilersDevelopment tools sui-evalClean-room Nix language evaluator — lazy tree-walker + bytecode VM with construction-guaranteed Lazy<T>261MITCompilersParser implementations intent-renderMarkdown and HTML renderer for IntentLang specifications256MITCompilersDevelopment tools holocronDeclarative schema & query compiler — one YAML as the source of truth for SQL schema and a type-checked query catalog.256MPL-2.0CompilersDatabase interfaces a2xA converter from ALFA to XACML policy language.254GPL-3.0-or-laterCommand line utilitiesCompilers dolfin-diagnosticUnified diagnostic types for the Dolfin toolchain253MITCompilersParsing tools monty-protoA sandboxed, snapshotable Python interpreter written in Rust.253MITCompilersDevelopment tools rowlParser for the Dolfin Ontology Language252AGPL-3.0-or-laterCompilersParsing tools leleBare-metal machine learning inference library in Rust252MITAlgorithmsCompilers qudit-circuitAccelerated and Extensible Quantum Library250BSD-3-ClauseCompilersData structures graphix-package-jsonA dataflow language for UIs and network programming, json package250MITCompilersGUI rlx-sparseSparse linear algebra for RLX — CSR LU, mat-vec, Conjugate Gradient. Downstream package; registers against rlx's custom-op…250GPL-3.0-onlyAlgorithmsCompilers wirespec-backend-apiBackend trait and common lowering contracts for wirespec245Apache-2.0CompilersEncoding dmc-schemaVelite-style schema builders for dmc collection records245MITCompilersParser implementations horkosCloud infrastructure language where insecure code won't compile242MIT OR Apache-2.0CompilersDevelopment tools bock-typesType system, type checking, and inference for the Bock language242MITCompilersDevelopment tools rlx-umapParametric UMAP on RLX — full fit/transform API and k-NN building blocks.242GPL-3.0-onlyAlgorithmsCompilers draxl-parserLanguage-dispatch facade for Draxl parsing241MIT OR Apache-2.0CompilersParser implementations lykn-cliLykn language CLI — scaffolding, building, testing, and publishing for Lykn projects241Apache-2.0Command line utilitiesCompilers sigil-parserParser and native compiler for the Sigil programming language241MITCompilersDevelopment tools vprattabsolute zenith of pratt parsing238MIT CompilersNo standard library