Compilers 2,341 crates

graphcal-evalType-safe, unit-aware, Git-friendly reactive programming language for engineering calculations236MIT OR Apache-2.0CompilersScience nagamiShrinks WGSL shaders via Naga IR optimization passes236MITCompilersDevelopment tools espy-tailespy's bytecode compiler.236MPL-2.0CompilersWebAssembly manoAn assembler and emulator library for the Mano Machine RISC CPU235MITCompilersSimulation maatThe Maat programming language -- Rust-native syntax for writing zero-knowledge proofs234MIT OR Apache-2.0Command line utilitiesCompilers graphix-package-timeA dataflow language for UIs and network programming, time package234MITCompilersGUI synoema-parserSynoema — programming language optimized for LLM code generation234MITCompilersDevelopment tools ferrugoccAn experimental C compiler and obfuscating compiler written in Rust, targeting x86_64 SysV ABI233MITCompilersDevelopment tools rlx-benchPLAN L5 — uniform benchmark harness for RLX backends + patterns233GPL-3.0-onlyAlgorithmsCompilers ringkernel-irIntermediate Representation for RingKernel GPU code generation231Apache-2.0CompilersDevelopment tools graphcal-fmtType-safe, unit-aware, Git-friendly reactive programming language for engineering calculations231MIT OR Apache-2.0CompilersScience rlx-linalgDense linear algebra for RLX — eigh / svd / qr / cholesky / solve_triangular via LAPACK. Downstream package; registers against…230GPL-3.0-onlyAlgorithmsCompilers polka-rsBytecode schema for the Myriad runtime (Abrase language).228MITCompilersEncoding voce-adapter-coreVoce IR deployment adapter trait and shared types228Apache-2.0CompilersDevelopment tools flow_transpilerTranspiler infrastructure for the Flow programming language227MITCompilersDevelopment tools lora-builtins-metaStatic metadata table for LoraDB's namespaced builtin functions — arity, aliases, aggregates. Shared by the analyzer, executor,…226BUSL-1.1CompilersParser implementations rsaebA no_std + alloc interpreter for A=B ordered rewrite programs.226MIT OR Apache-2.0CompilersNo standard library llvm-in-rust-irCore LLVM-inspired intermediate representation data structures and builders for LLVM-in-Rust.224Apache-2.0CompilersDevelopment tools smc_scan_scxmlSCXML frontend for the Scan model checker.224Apache-2.0CompilersConcurrency nargo-compilerNargo compiler core222MITCompilersDevelopment tools ma-zschemeScheme evaluator for the ma actor network — parser, evaluator, and SchemeCtx host trait222MITCompilersNo standard library smc_scan_janiJANI frontend for the Scan model checker.222Apache-2.0CompilersConcurrency midenc-frontend-masmMASM disassembler frontend for the Miden compiler219MITCompilers logicaffeine-verifyZ3-based static verification for Logicaffeine (requires Pro+ license)219BUSL-1.1CompilersMathematics badcA quick, slim cross-platform C compiler (also a compiler-as-library) (C99, C11, and more) with a JIT and native ELF / PE / Mach-O…217MITCompilersDevelopment tools haloumi-picusHaloumi backend to the Picus Constraint Language.217non-standardCompilers haloumi-llzkHaloumi backend to LLZK.217non-standardCompilers rlx-fpgaFPGA backend for RLX — per-graph datapath synthesis. IR → Verilog → bitstream.217GPL-3.0-onlyAlgorithmsCompilers amble_scriptAuthoring-focused DSL, parser, and compiler that produces Amble engine WorldDef data.216MITCommand line utilitiesCompilers masl_parserMaduka Authorization Specification Language (MASL) toolchain and runtime215MITCompilersDevelopment tools gust-langThe Gust programming language compiler — parse .gu state machine files and emit Rust, Go, WASM, no_std, or C FFI code215MITCompilersDevelopment tools draxl-patchStructured semantic patch operations over the Draxl model214MIT OR Apache-2.0CompilersDevelopment tools misty-astLibrary containing the full AST definitions for the Misty language214BSD-3-ClauseCommand line utilitiesCompilers masl_irMaduka Authorization Specification Language (MASL) toolchain and runtime214MITCompilersDevelopment tools draxl-validateStructural validation for Draxl source files213MIT OR Apache-2.0CompilersDevelopment tools forge-langForge — Internet-native programming language with natural syntax, bytecode VM, and built-in HTTP/database/crypto213MITCommand line utilitiesCompilers cirq-astCirq language AST types and CST-to-AST lowering213BSD-3-ClauseCompilersParser implementations edlc_docsHTML renderer for documentation for the EDL compiler210Apache-2.0CompilersScience ferro-jtypeType inference for Java class bytecode without JDK symbols210MITCompilersDevelopment tools tessellate-coreCompiler and deterministic runtime for the Tess rule language210Apache-2.0CompilersDevelopment tools midenupThe Miden toolchain manager210MITCompilers mux-langThe Mux Programming Language Compiler209MITCompilersDevelopment tools nl_optVerilog compiler driver for running safety-net passes209MIT OR Apache-2.0CompilersData structures smc_scan_promelaPromela frontend for the Scan model checker.208Apache-2.0CompilersConcurrency monty-typeshedA sandboxed, snapshotable Python interpreter written in Rust.208MITCompilersDevelopment tools rustz80A restricted Rust -> Z80 compiler: the dialect is also real Rust; emits a bootable .tap. The cell micro-VM that runs the output…207MIT OR Apache-2.0CompilersEmulators taiyaki-coreEmbeddable JS/TS runtime core — QuickJS and JSC backends204MITCompilersWebAssembly rns-langRNS language parser, compiler, and assembler library for the Lagertha VM project204MIT OR Apache-2.0CompilersDevelopment tools lolli-extractTerm extraction for the Lolli linear logic workbench201MITCompilersDevelopment tools lolli-vizVisualization for the Lolli linear logic workbench201MITCompilersDevelopment tools intent-genNatural language to IntentLang spec generation via LLM (Layer 0)201MITCompilersDevelopment tools lamina-rasras - as/GAS alternative. Cross-platform assembler: assembly source (.s) to relocatable object files (.o). Used by Lamina, usable…200Apache-2.0CompilersDevelopment tools lolli-proveProof search for the Lolli linear logic workbench199MITCompilersDevelopment tools lolli-codegenCode generation for the Lolli linear logic workbench199MITCompilersDevelopment tools miden-formatFormatter for the Miden Assembly language199MIT OR Apache-2.0Compilers lamina-codegenCodegen utilities for Lamina (register allocation, ABI, frame management)198Apache-2.0CompilersDevelopment tools lolli-parseParser for the Lolli linear logic workbench198MITCompilersDevelopment tools ternpkgPackage manager for the ternlang ecosystem — ternlang.toml manifest, GitHub-backed registry, install/list/info commands.197LGPL-3.0-or-laterCompilersScience kinetik-diagRust-native scripting language runtime and CLI for game engines.197MITCompilersGame development tsz-coreCore TypeScript compiler and type checker library197Apache-2.0CompilersDevelopment tools graphix-package-packA dataflow language for UIs and network programming, pack package197MITCompilersGUI maat_proverZero knowledge STARK prover and verifier for the Maat programming language196MIT OR Apache-2.0CompilersCryptography graphix-package-dbA dataflow language for UIs and network programming, embedded database package196MITCompilersDatabase interfaces graphix-package-guiA dataflow language for UIs and network programming, GUI package196MITCompilersGUI rlx-rlFlow-map generative policies with Flow Map Q-Guidance (FMQ) and QGBS for RLX.196GPL-3.0-onlyAlgorithmsCompilers monty-type-checkingA sandboxed, snapshotable Python interpreter written in Rust.196MITCompilersDevelopment tools lamina-platformPlatform and target detection for Lamina compiler195Apache-2.0CompilersDevelopment tools dmc-coreEngine, CLI, watch mode, and collection builds for the dmc MDX compiler195MITCompilersParser implementations airl-typecheckBidirectional type checker for AIRL IR with effect tracking195MITCompilersDevelopment tools masl_bytecodeMaduka Authorization Specification Language (MASL) toolchain and runtime195MITCompilersDevelopment tools graphix-package-argsA dataflow language for UIs and network programming, args package195MITCompilersGUI graphix-package-tomlA dataflow language for UIs and network programming, toml package195MITCompilersGUI graphix-package-xlsA dataflow language for UIs and network programming, xls package195MITCompilersGUI graphix-package-httpA dataflow language for UIs and network programming, http package194MITCompilersGUI graphix-package-sqliteA dataflow language for UIs and network programming, sqlite package194MITCompilersGUI graphix-package-listA dataflow language for UIs and network programming, singly linked list package194MITCompilersNetwork programming cargo-hermesFormally verify that your safety comments are correct.193BSD-2-Clause OR Apache-2.0 OR MITCompilersDevelopment tools::Cargo plugins graphix-package-hbsA dataflow language for UIs and network programming, handlebars package193MITCompilersGUI vexilcThe Vexil schema compiler CLI192MIT OR Apache-2.0Command line utilitiesCompilers ternlang-codegenC transpiler backend for the Ternlang compiler — emits C source from the Ternlang AST for native cross-compilation targets.191LGPL-3.0-or-laterCompilersScience rosetta-stone-irRosetta Intermediate Representation for cross-language transpilation191MIT OR Apache-2.0CompilersDevelopment tools monty-poolA sandboxed, snapshotable Python interpreter written in Rust.191MITCompilersDevelopment tools ryft-pjrtRyft bindings for PJRT.190MIT OR Apache-2.0CompilersHardware support tdsl-coreCore IR and lowering logic for the Timeline DSL compiler190MITCompilers noise-coreCore of the Noise probabilistic language: lexer, parser, evaluator, sampler.190MITCompilersMathematics solscript-codegenRust/Anchor code generator for SolScript smart contracts188MITCompilersCryptography::Cryptocurrencies prune-langPrune is a constraint logic programming language with branching heuristic.188Apache-2.0Command line utilitiesCompilers ryft-mlirRyft bindings for MLIR.187MIT OR Apache-2.0CompilersHardware support bock-lexerTokenizer for the Bock language186MITCompilersDevelopment tools adobe-font-metricsPure-Rust, zero-dependency parser for Adobe Font Metrics (AFM) v4.x.186MITCompilersText processing windy-langWindy — a 2D esoteric programming language where code flows like wind.185MITCommand line utilitiesCompilers rlx-gguf-convertConvert safetensors / ONNX initializer tensors into GGUF with per-tensor quantization. Useful for shrinking a model's on-disk +…185GPL-3.0-onlyAlgorithmsCompilers draxl-rustRust language adapter for Draxl184MIT OR Apache-2.0CompilersDevelopment tools graphcal-lspLanguage Server Protocol implementation for Graphcal184MIT OR Apache-2.0CompilersScience espya functional, embeddable scripting language.184MPL-2.0CompilersConfiguration relon-analyzerSemantic analysis layer for the Relon language: name resolution, schema desugar, diagnostics182Apache-2.0CompilersDevelopment tools tspcTypeSpec compiler CLI — convert .tsp files to JSON, YAML, OpenAPI and more182MITCommand line utilitiesCompilers nnlangCompiler for the NNLang (Neural Network Language)181Apache-2.0CompilersEmbedded development asg-langASG - A programming language built on Abstract Syntax Graph181MITCompilersDevelopment tools rlx-fdmForce density method (FDM) for RLX — pin-jointed form-finding ported from jax_fdm.181GPL-3.0-onlyAlgorithmsCompilers dolfin-analysisSemantic analysis for the Dolfin ontology language180MITCompilersParsing tools thalirThalIR - Solidity intermediate representation for smart contract security auditing180MPL-2.0CompilersDevelopment tools thinkinglanguageCLI entry point for ThinkingLanguage (tl run, tl shell)178Apache-2.0CompilersDevelopment tools swiftletswiftlet is a high-performance text-parsing library for Rust, inspired by Python’s Lark.177MITAlgorithmsCompilers hook-transpilerMinimal JSX/TSX transpiler for Relay hooks with dynamic import() rewrite to context.helpers.loadModule and friendly errors177MIT OR Apache-2.0CompilersDevelopment tools buildlangBuildLang (buildc): an effects-oriented compiler with a verified C path, shader output, experimental backends, opt-in linear…177non-standardCompilersDevelopment tools relon-capLeaf crate holding Relon's canonical capability data types (CapabilityBit / NativeFnGate / Capabilities).176Apache-2.0Compilers reluxscriptWrite AST transformations once. Compile to Babel, SWC, and beyond.175MITCompilersDevelopment tools smc_scanStatistical model checker for large concurrent systems.174Apache-2.0CompilersConcurrency xpilePolyglot transpile workbench (Python/C/C++/Rust/Ruchy/Lean ↔ Rust/Ruchy/PTX/WGSL/SPIR-V) with provable contracts at every layer.174MIT OR Apache-2.0Command line utilitiesCompilers vexil-codegen-tsTypeScript code generation backend for the Vexil schema compiler172MIT OR Apache-2.0CompilersDevelopment tools oak-mojoMojo frontend for Oak171MPL-2.0CompilersDevelopment tools cirq-irCanonical Cirq IR — the resolved, validated semantic representation171BSD-3-ClauseCompilersData structures wirespec-backend-rustRust backend for wirespec167Apache-2.0CompilersEncoding masl_validatorMaduka Authorization Specification Language (MASL) toolchain and runtime167MITCompilersDevelopment tools rlx-vulkanNative Vulkan compute backend for RLX (raw `ash` + embedded SPIR-V compute kernels)167GPL-3.0-onlyAlgorithmsCompilers ternlang-testTest harness and assertion utilities for ternlang programs — BET-VM test runner, trit assertions, and golden-file diffing.166LGPL-3.0-or-laterCompilersScience graphix-package-fsA dataflow language for UIs and network programming, filesystem package166MITCompilersGUI wirespec-backend-tlaplusTLA+ code generation backend for wirespec state machines165Apache-2.0CompilersEncoding lift-simLIFT-SIM: Static analysis engine — shape propagation, FLOP counting, memory analysis, noise simulation165MITCompilersScience airl-patchSemantic patch engine for AIRL IR: apply, validate, and invert structural edits165MITCompilersDevelopment tools primateA small DSL for cross-language constants. Write once, generate typed Rust, TypeScript, and Python.165MITCommand line utilitiesCompilers wirespec-backend-cC backend for wirespec164Apache-2.0CompilersEncoding rlx-nemoRLX — native loader for NVIDIA NeMo `.nemo` model files (tar + torch.save ckpt + YAML config).164GPL-3.0-onlyAlgorithmsCompilers sui-irL3 lower-once flat IR for the sui evaluator — per source file one Program { exprs, spans } with ExprId(u32) indices, lowered from…164MITCompilersParser implementations pdf-base14-metricsPre-parsed Adobe Core 14 PDF font metrics (Helvetica, Times, Courier, Symbol, ZapfDingbats) baked into `&'static FontMetrics`…163MIT AND APAFMLCompilersText processing csw-generateCode generation for the Categorical Semantics Workbench - generate type checkers and interpreters from derived type systems162MIT OR Apache-2.0CompilersDevelopment tools pascalA modern Pascal compiler with build/intepreter/package manager built with Rust161Apache-2.0Command line utilitiesCompilers llvm-in-rust-analysisControl-flow, call-graph, dominance, loop, and use-def analyses for LLVM-in-Rust IR.160Apache-2.0CompilersDevelopment tools airl-interpTree-walking interpreter for AIRL IR with 74 builtins160MITCompilersDevelopment tools luaur-compile-cliCommand-line Luau source-to-bytecode compiler (Rust).160MITCommand line utilitiesCompilers bock-aiAI provider interface for Bock's AI-native code generation pipeline (Generate, Repair, Optimize, Select)160MITCompilersDevelopment tools myriad-rsVM runtime for Polka bytecode, computation core.159MITCompilersEmbedded development lamina-mirMIR (Machine Intermediate Representation) type definitions for Lamina159Apache-2.0CompilersDevelopment tools decy-debuggerInteractive debugger for Decy C-to-Rust transpiler with spydecy integration158MIT OR Apache-2.0Command line utilitiesCompilers pfcl-typesCore value types for PFCL: Value, Hash (SHA-256), runtime environment157MITCompilers pfcl-parserParser for PFCL — pure functional language with content-addressed catalog157MITCompilers ikigai-lispSteel-backed Lisp evaluator as an ikigai module: `urn:lisp:eval` runs s-expressions whose builtins ARE the kernel verbs…157MIT OR Apache-2.0CachingCompilers graphix-package-netA dataflow language for UIs and network programming, net package156MITCompilersGUI masl_linterMaduka Authorization Specification Language (MASL) toolchain and runtime156MITCompilersDevelopment tools mmi-cliCLI and compiler for Mastermind, the BF compiler155MITCommand line utilitiesCompilers abraseAbrase language.155MITCompilersParser implementations rustd_backend_llvmLLVM backend for RustD deterministic DSL compilation154Apache-2.0CompilersDevelopment tools synoema-diagnosticSynoema — programming language optimized for LLM code generation154MITCompilersDevelopment tools synoema-typesSynoema — programming language optimized for LLM code generation154MITCompilersDevelopment tools keleusmaTotal Functional Stream Processor with definitive WCET and WCMU verification, targeting no_std + alloc embedded scripting1540BSDCompilersEmbedded development relon-utilLeaf utility helpers shared across Relon crates (alignment math, Rust identifier checks).153Apache-2.0Compilers masl_compilerCompiler, code generator and semantic validator for the Maduka Authorization Specification Language (MASL)151MITCompilersDevelopment tools relon-eval-apiPublic types and Evaluator trait shared across Relon evaluation backends151Apache-2.0CompilersConfiguration haloumiEntrypoint crate for the Haloumi framework.150non-standardCompilers ghci-deriveDerive macros for ghci ToHaskell/FromHaskell traits149MITCompilersDevelopment tools lyknA modern Lisp for ECMAScript, the browser, and the Deno JavaScript runtime148Apache-2.0CompilersDevelopment tools nectar-langA compiled-to-WASM frontend language with built-in security, SEO, and mobile support148non-standardCompilersWebAssembly intent-codegenSkeleton code generator for IntentLang specifications (Rust, TypeScript, Python, Go, Java, C#, Swift)146MITCompilersDevelopment tools misty-parserParser code required by the Misty Compiler145BSD-3-ClauseCommand line utilitiesCompilers graphcalType-safe, unit-aware, Git-friendly reactive programming language for engineering calculations145MIT OR Apache-2.0CompilersScience cairnlang-coreCairn core: content-addressed AST store, the single type/confidence/effect checker, projection renderer, and WASM lowering. Owns…145Apache-2.0CompilersDevelopment tools doge-compilerCompiler for the Doge programming language — lexer, parser, semantic checks, and Rust codegen.145Apache-2.0Compilers monty-runtimeA sandboxed, snapshotable Python interpreter written in Rust.145MITCompilersDevelopment tools umc_html_astThe Universal Markup-language Compiler, Rust-based.143MITCompilersDevelopment tools llvm-pmSafe Rust wrapper for LLVM new PassManager143MITCompilersDevelopment tools st8Stator JavaScript shell — interactive JS REPL and script runner (like V8's d8)142MITCommand line utilitiesCompilers ir-langIntermediate representation and lowering from the AST.142Apache-2.0 OR MITCompilersDevelopment tools kinetik-astRust-native scripting language runtime and CLI for game engines.142MITCompilersGame development intent-runtimeExpression evaluator and stateless runtime for IntentLang specifications141MITCompilersDevelopment tools kinetik-lexerRust-native scripting language runtime and CLI for game engines.140MITCompilersGame development truthlinked-axiom-compilerCompiler for TruthLinked Axiom cell source files and manifests.140MITCompilersDevelopment tools urdDialogue scripting language for games — compiler, VM, and static analysis139MIT-0CompilersGame development mllcCompiler library for mata-ll: compiles a Haskell subset to a single self-contained Lua file. Bundles its standard library, so it…137MITCompilers wesley-emit-codecLanguage-neutral LE-binary codec plan lowered from Wesley L1 IR, shared by the Rust and TypeScript codec emitters.137Apache-2.0Compilers miden-objtoolCommon utilities for analyzing Miden artifacts136MITCompilers nargoNargo compiler and toolchain136MITCompilersDevelopment tools relon-unicodeLeaf Unicode tables, case-folding / normalization algorithms, and the glob matcher shared across Relon crates.136Apache-2.0CompilersText processing liturgical-calendarLiturgical calendar engine for the Catholic Novus Ordo — runtime facade135MIT OR Apache-2.0Command line utilitiesCompilers mos-fontsFont discovery, shaping, and metrics for Mosaic (manifest §22.1).134MIT AND OFL-1.1CompilersText processing oak-kokaKoka frontend for Oak134MPL-2.0CompilersDevelopment tools bock-parserParser for the Bock language, producing AST nodes from token streams134MITCompilersDevelopment tools wirespec-driverCompilation driver and CLI for wirespec133Apache-2.0CompilersEncoding draxlAgent-native source annotation for semantic program control.132MIT OR Apache-2.0CompilersDevelopment tools doge-runtimeRuntime for the Doge programming language — Value model, operators, builtins, and catchable errors.132Apache-2.0Compilers modelcCompile LLM weights (GGUF, Safetensors, ONNX, PyTorch) into a single .modelc artifact and serve an OpenAI-compatible inference…132Apache-2.0Command line utilitiesCompilers js-deobfuscatorUniversal JavaScript deobfuscator built on OXC131Apache-2.0CompilersDevelopment tools flow_transpiler_javaJava bytecode transpiler for the Flow programming language131MITCompilersDevelopment tools hypothalamusAn optimizing Brainfuck AOT compiler with an LLVM IR backend130MITCommand line utilitiesCompilers pfcl-resolverName resolver for PFCL: resolves catalog names to SHA-256 hashes at load time130MITCompilers almAmy's Lightweight Markup language130MIT OR Apache-2.0CompilersParser implementations airl-projectProject and workspace management for AIRL: history, queries, projections129MITCompilersDevelopment tools flow_analyzerSemantic analyzer for the Flow programming language129MITCompilersDevelopment tools ruitl_compilerParser and code generator for the RUITL (Rust UI Template Language)129MIT OR Apache-2.0CompilersParser implementations rusty-javacA Java compiler written in Rust.129MITCompilers lc3coreShared instruction-set kernel for the LC-3 toolbox: opcodes, registers, traps, the memory map, and the object-file format128MIT OR Apache-2.0CompilersEmulators airl-compileCranelift JIT compiler and WASM backend for AIRL IR128MITCompilersDevelopment tools graphix-lspA dataflow language for UIs and network programming, compiler128MITCompilersGUI liturgical-calendar-forgeAhead-of-time compiler for the Catholic liturgical calendar. Ingests a YAML corpus of feasts, precedence, and transfer rules,…126MIT OR Apache-2.0Command line utilitiesCompilers nexus-lang-cliCommand-line interface and REPL for the Nexus network description language.126MPL-2.0Command line utilitiesCompilers product-farm-farmscriptFarmScript DSL - Human-friendly expression language that compiles to JSON Logic125MITCompilersParser implementations metaltile-macrosProc-macro crate providing the #[kernel] DSL for MetalTile GPU kernels123Apache-2.0CompilersHardware support axon-lspLanguage Server Protocol server for the Axon programming language. Deterministic diagnostics, hover, completion, and…122MITCompilersDevelopment tools masl_lspMaduka Authorization Specification Language (MASL) toolchain and runtime122MITCompilersDevelopment tools monty-typesA sandboxed, snapshotable Python interpreter written in Rust.122MITCompilersDevelopment tools