Compilers 2,341 crates

misty-coreCore types and shared utilities used by other Misty crates59BSD-3-ClauseCommand line utilitiesCompilers matchcovLanguage-agnostic usefulness and exhaustiveness analysis for pattern matching58Apache-2.0Compilers bitsy-fileA parser for Bitsy game files58MITCompilersGame engines vortex-jitRust bindings for the VORTEX JIT compiler — a profile-guided optimizing JIT with input-shape-keyed profiles, phase partitioning,…58MITAPI bindingsCompilers diagliteSpan + Diag diagnostics kernel for purpose-sized languages: byte spans, line/col, caret snippets that never panic on mid-char…57Apache-2.0CompilersParser implementations bithovenA smart contract language for composing powerful and secure instruments on Bitcoin.57MITCommand line utilitiesCompilers phenotyperCore compiler library for the Phenotyper structural artifact definition language57Apache-2.0CompilersDevelopment tools::Build Utils type-langType representation, unification, and inference scaffolding.57Apache-2.0 OR MITCompilersDevelopment tools TresInterpreter for the Tc2 esolang56MITCommand-line interfaceCompilers python-rsA stackless Python 3 interpreter written in Rust — academic/hobby AI-assisted port of CPython. Pre-release; not usable yet.56MIT OR Apache-2.0Command line utilitiesCompilers jzeroA compiler and bytecode VM for the Jzero language (a subset of Java)55MITCompilers sbpf-analyzeTransform passes for SBPF assembly programs55MITCompilersDevelopment tools symboliqueSymbol table pipeline for language servers — parse, link, merge, and resolve symbols across files, built on the laburnum LSP…54BlueOak-1.0.0CompilersDevelopment tools logicaffeine-forgeCopy-and-patch JIT for LOGOS — executable-memory layer and stencil runtime (native only).54BUSL-1.1CompilersMathematics xbasic64A BASIC-to-x86_64 native code compiler targeting 1980s-era BASIC dialects54MITCommand line utilitiesCompilers smelt-frontend-tsTypeScript frontend for the Smelt transpiler: lowers strict TypeScript to Smelt HIR via oxc.53GPL-3.0-onlyCompilersDevelopment tools whisper-langWhisper: a compact stack-based programming language for AI53MITCommand line utilitiesCompilers riddle-langRiDDLe is a language for the definition of timeline-based domains and problem definitions, designed to facilitate the integration…53non-standardCompilersParser implementations mos-bibBibliography and citation engine for Mosaic (manifest §12).53MITCompilersText processing tatara-lisp-linttatara-lisp-lint — typed, pluggable rule engine that lints .tlisp source against semantic Rules over the real tatara-lisp AST…53MITCommand-line interfaceCompilers remirRemir is an MIR library designed to be used easily and be efficient.53MITCompilers ananse_executorRegister-schedule interpreter for the Ananse zkVM53MIT OR Apache-2.0CompilersCryptography keleusma-cliStandalone command-line frontend for Keleusma. Provides a script runner, a bytecode compiler, and an interactive REPL so users…530BSDCommand line utilitiesCompilers smelt-codegen-rustRust source-code generation from Smelt MIR.52GPL-3.0-onlyCompilersDevelopment tools llvmkit-macrosProcedural macros for llvmkit IR schema ergonomics.52Apache-2.0 WITH LLVM-exceptionCompilersDevelopment tools newter-compilerA UI language compiler — 73 built-in elements, compiles to canvas, HTML, React, and JSON52MITCompilersGUI han-lang한글(Han) Korean-syntax programming language: interpreter, LLVM-IR codegen, and LSP51MITCommand line utilitiesCompilers eadupA native-first markup language and EADUP compiler for automated, standards-compliant document typesetting51AGPL-3.0-or-laterCommand line utilitiesCompilers lift-importLIFT-IMPORT: Importers — PyTorch FX, ONNX, Qiskit, OpenQASM 351MITCompilersScience lift-cliLIFT CLI: Command-line interface — verify, analyse, print, compile, simulate, predict51MITCommand line utilitiesCompilers qbe-parserA parser for QBE IR50Apache-2.0 OR MITCompilersParser implementations lexliteByte-cursor lexer kit for purpose-sized languages: comments, idents, digits, and UTF-8-safe char decode by construction.50Apache-2.0CompilersParser implementations trans_py_cPython subset → C transpiler for OS kernel and embedded development50non-standardCommand line utilitiesCompilers ruitlTemplate compiler for type-safe, server-rendered HTML components in Rust50MIT OR Apache-2.0CompilersTemplate engine qala-cliCommand-line interface for the Qala programming language50MITCommand line utilitiesCompilers kz80_calcVisiCalc-style spreadsheet for Z80 - Retro computing on the RetroShield49BSD-3-ClauseCompilersEmbedded development sapphire-langGradually typed scripting language where every value is an object and types are optional, checked at runtime49MITCommand line utilitiesCompilers vyre-debugDebugging CLI and inspection helpers for Vyre programs, lowering, and emitted shaders.49MIT OR Apache-2.0CompilersDevelopment tools cargo-oxurCargo subcommand for building Oxur Lisp projects48MIT OR Apache-2.0CompilersDevelopment tools::Cargo plugins kz80_luaA Tiny Lua interpreter and compiler for RetroShield Z8048BSD-3-ClauseCompilersDevelopment tools relon-codegen-llvmLLVM-backed AOT evaluator for Relon (Phase A bootstrap)48Apache-2.0Compilers llvm-in-rust-target-x86x86-64 target backend for LLVM-in-Rust code generation.47Apache-2.0CompilersDevelopment tools capliteHost-capability tables as data: one declarative table per language drives type checking, import emission, docs, and a…47Apache-2.0CompilersDevelopment tools fuelliteFuel and byte-budget primitives: mechanical termination and output bounds. One shared budget across all composition, so fractal…47Apache-2.0CompilersDevelopment tools symbol-langSymbol tables, scopes, and name binding/resolution.47Apache-2.0 OR MITCompilersDevelopment tools kinetik-checkRust-native scripting language runtime and CLI for game engines.47MITCompilersGame development webfluentThe Web-First Language — compiles to HTML, CSS, JavaScript, and PDF. 50+ built-in components, reactivity, routing, i18n, SSG, and…47GPL-3.0CompilersTemplate engine llvm-in-rust-ir-parserLexer and parser for LLVM textual IR into LLVM-in-Rust data structures.46Apache-2.0CompilersDevelopment tools llvm-in-rust-transformsOptimization and transformation passes for LLVM-in-Rust IR.46Apache-2.0CompilersDevelopment tools parseliteRecursive-descent parser harness with the depth guard baked in: deeply nested input returns a diagnostic, never a stack overflow.46Apache-2.0CompilersParser implementations bvm-langBytecode VM and interpreter loop.46Apache-2.0 OR MITCompilersDevelopment tools tree-sitter-graphixA dataflow language for UIs and network programming, compiler46MITCompilersGUI rlx-vqFused vector-quantization kernel for RLX — nearest-codebook assignment (cdist→argmin) that beats the matmul+argmin composition.…46GPL-3.0-onlyAlgorithmsCompilers lamina-irLamina Intermediate Representation — high-level SSA IR for the Lamina compiler46Apache-2.0CompilersDevelopment tools llvm-in-rust-target-riscvRISC-V target backend for LLVM-in-Rust code generation.45Apache-2.0CompilersDevelopment tools llvm-in-rust-bitcodeCompact bitcode reader and writer for LLVM-in-Rust IR modules.45Apache-2.0CompilersDevelopment tools x1zzx1zzLang — scripting on the surface, compiled at its core. A data pipeline language that compiles .xzz scripts into optimized…45Apache-2.0Command line utilitiesCompilers logicaffeine-jitThe LOGOS native tier — wires the copy-and-patch forge JIT into the bytecode VM (native only).45BUSL-1.1CompilersMathematics tidepoolCompile Haskell effect stacks to Cranelift JIT, drive from Rust45MIT OR Apache-2.0CompilersWebAssembly bock-buildBuild pipeline for Bock projects, coordinating parse, check, codegen, and target compilation45MITCompilersDevelopment tools encore_compilerEncore compiler — CPS IR pipeline for the Fleche functional language45Apache-2.0Compilers monty-cliA sandboxed, snapshotable Python interpreter written in Rust.44MITCompilersDevelopment tools llvm-in-rust-target-armAArch64 target backend for LLVM-in-Rust code generation.44Apache-2.0CompilersDevelopment tools umc_astThe Universal Markup-language Compiler, Rust-based.44MITCompilersDevelopment tools zonu-lazykA performance-oriented Lazy K interpreter (ION-style combinator VM)44GPL-3.0-or-laterCommand line utilitiesCompilers bock-fmtSource code formatter for the Bock language44MITCompilersDevelopment tools bock-lspLanguage Server Protocol implementation for the Bock language44MITCompilersDevelopment tools tmp-typst-bundle-custom-metadataBundle exporter for Typst.44Apache-2.0Compilers edlc_lspEDLc Language Sever Protocol implementation43Apache-2.0CompilersScience umc_html_parserThe Universal Markup-language Compiler, Rust-based.43MITCompilersDevelopment tools josie-coreHigh-performance core runtime for JOSIE (JSON Omni Safe Interactive Expressions), with deterministic tree-based pipeline…43MITCompilersDevelopment tools jit-langLower IR to machine code in executable memory and run it now.43Apache-2.0 OR MITCompilersDevelopment tools csw-cliCommand-line interface for the Categorical Semantics Workbench43MIT OR Apache-2.0CompilersDevelopment tools corvo7A toy programming language compiler written in Rust43MITCompilers metaltileRust DSL for writing Apple Metal GPU kernels — write once, run fast on Apple Silicon43Apache-2.0CompilersHardware support record-melMélodium recording processing library43EUPL-1.2AsynchronousCompilers llvm-nativeForensic-parity Rust reimplementation of LLVM toolchain behavior through oracle courts43MIT OR Apache-2.0Command line utilitiesCompilers fermataAn S-expression DSL for working with MusicXML42MIT OR Apache-2.0CompilersMultimedia::Audio vexcCompiler and toolchain for the Vex programming language42MITCompilersDevelopment tools misty-netNetworking code for Misty, utility functions for codegen, router, client, and server implementations42BSD-3-ClauseCommand line utilitiesCompilers gust-mcpModel Context Protocol (MCP) server exposing the Gust compiler to AI-assisted development tools42MITCompilersDevelopment tools bock-pkgPackage management for Bock projects, including dependency resolution and lockfiles42MITCompilersDevelopment tools stoffel-rust-sdkRust SDK for building Stoffel MPC applications42Apache-2.0API bindingsCompilers zcpzcp language41MIT OR Apache-2.0CompilersParser implementations grammaticaRust library for representing and transforming formal grammars (Chomsky hierarchy today; extensible toward attribute,…41MITCompilersParsing tools tungsten-wgA compiler / code generator for world generation (Rust and CUDA).41MIT OR Apache-2.0Compilers cairnlang-editorCairn editor: a thin HTTP transport over the MCP Session that serves the zero-build projectional editor page. A front-end peer to…41Apache-2.0CompilersDevelopment tools oxurOxur: A Lisp dialect that treats Rust as its compilation target and runtime41MIT OR Apache-2.0CompilersDevelopment tools gust-runtimeRuntime support library (traits, envelopes, supervisors) for programs compiled from Gust41MITCompilersDevelopment tools ml-melMélodium machine learning library41EUPL-1.2AsynchronousCompilers ryftA Framework for Tracing, Automatic Differentiation, and Just-In-Time Compilation40MIT OR Apache-2.0CompilersHardware support tensor-wasm-jitJIT pipeline: Cranelift detector, IR normalisation, PTX codegen, kernel cache, deopt.40Apache-2.0CompilersConcurrency cairnlang-cliCairn CLI: scripted/CI/local front end over cairnlang-core. Command name: cairn.40Apache-2.0CompilersDevelopment tools obscura-coreCore obfuscation engine: AST transforms, options, pipeline. Rust port of javascript-obfuscator.40MITCompilersDevelopment tools paxcA compiler for the pax DSL, producing Power Automate cloud flow definitions40MITCommand line utilitiesCompilers tsnTypeScript to native executable compiler - Stable Release40MITCompilers ananseAnanse: a WebAssembly-native zero-knowledge virtual machine (zkVM)40MIT OR Apache-2.0CompilersCryptography draxl-cliCommand-line interface for Draxl39MIT OR Apache-2.0Command line utilitiesCompilers javoxideA type system-complete code generator for Java/Rust interop39MPL-2.0CompilersDevelopment tools::FFI loom-langLoom — a programming language for safe-by-construction software. Recipes with first-class effects, refinement types, and a…39MIT OR Apache-2.0Command line utilitiesCompilers firmionErgonomic firmware and binary file creation tool.39non-standardCompilers brief-coreCompiler library for the Brief markup language: lexer, parser, AST, HTML/LLM emitters, formatter, and Markdown-to-Brief converter.39MITCompilersParsing tools haskelujahA Haskell compiler in Rust — GHC-compatible, self-contained, faster than GHC38MIT OR Apache-2.0CompilersDevelopment tools jinnVerification-first language and framework for whole Cardano EUTXO protocols (early development; name reserved).38Apache-2.0CompilersCryptography::Cryptocurrencies smc_scan_pmtlpMTL oracle for the Scan model checker.38Apache-2.0CompilersConcurrency gust-cliThe Gust compiler CLI — compile .gu state machine files to Rust, Go, WASM, no_std, or C FFI38MITCompilersDevelopment tools functA small, functional, embeddable scripting language with a fully reified bytecode VM you can pause, snapshot, and resume.38MITCompilersDevelopment tools lyanglyangLyangpiler - A VM for the LyangLang programming language with native Nepali syntax38MITCompilersDevelopment tools evmliteEVM bytecode assembler (two-pass label resolution, minimal-width push, init wrapper) plus a minimal dependency-free EVM-subset…37Apache-2.0CompilersEmulators stairSTAIR - mlir inspired compiler framework in rust37Apache-2.0Compilers gust-buildCargo build-script integration for compiling Gust .gu files during cargo build37MITCompilersDevelopment tools gust-stdlibStandard library of reusable Gust state machines (circuit breaker, retry, saga, rate limiter, and more)37MITCompilersDevelopment tools gust-lspLanguage Server Protocol (LSP) implementation for the Gust state machine language37MITCompilersDevelopment tools quicklatexA program to help me write LaTeX quickly37AGPL-3.0-or-laterCommand line utilitiesCompilers smelt-py-typesAstral ty-backed Python type resolution for the Smelt compiler.36GPL-3.0-onlyCompilersDevelopment tools kz80_chip8A CHIP-8 to Z80 static recompiler for RetroShield hardware36BSD-3-ClauseCompilersDevelopment tools modliteA wasm binary module builder: LEB128, section framing, function/import/export/memory/data assembly with index discipline. The…36Apache-2.0CompilersWebAssembly lolrustA transpiler from .meow (lolcat Rust) to valid Rust. i can haz rust?36MITCommand line utilitiesCompilers god-graphA graph-based LLM white-box optimization toolbox: topology validation, Lie group orthogonalization, tensor ring compression36MIT OR Apache-2.0AlgorithmsCompilers scalaA experimental Scala interpreter written in Rust: lexer, parser, type inference, and tree-walking evaluation with a REPL.36Apache-2.0CompilersParser implementations rlx-gpu-hostBackend-agnostic host-fallback kernels (D2H → CPU → H2D) shared by RLX GPU backends (rlx-cuda / rlx-rocm).36GPL-3.0-onlyAlgorithmsCompilers ananse_traceRegister-column execution trace and linear-memory access log for the Ananse zkVM36MIT OR Apache-2.0CompilersCryptography alia-foundryCast web into native metal. HTML/CSS/JS compiled to GPU-rendered native binaries.36Apache-2.0CompilersGUI lamina-weldweld - Cross-platform linker. Fast, minimal, drop-in for ld/lld/mold. Links ELF (Linux), PE (Windows), Mach-O (macOS).35Apache-2.0CompilersDevelopment tools brik64BRIK-64 PCD compiler and toolchain — Digital Circuitality runtime and SDK35LicenseRef-BRIK64-CommunityCompilersDevelopment tools brik64-birBRIK64 BIR runtime beta aligned with CLI 0.1.0-beta.4.35Apache-2.0CompilersEmbedded development crush-lang-sdkRust SDK for hosting and extending the crush-vm CVM1 runtime34MIT OR Apache-2.0CompilersDevelopment tools zymodelUniversal Tri-Axial Fractal Topology (ZYModel) implementation in Rust.34Apache-2.0CompilersDevelopment tools smc_scan_mtlMTL oracle for the Scan model checker.34Apache-2.0CompilersConcurrency tokitai-operatorVerified DL kernel compiler: formally-checked GEMM, p-adic, sheaf, contract-carrying ops. Paper-artifact grade.34MIT OR Apache-2.0CompilersMathematics solar-capiSolar compiler C API34MIT OR Apache-2.0CompilersCryptography stratliteA total, fuel-bounded trading-strategy language: every decision halts within its fuel and look-ahead is unrepresentable. Pairs…34Apache-2.0CompilersFinance encore_schemeS-expression frontend for Encore — parses Rocq-extracted Scheme into Encore IR34Apache-2.0CompilersParser implementations mojitoA compact compiler and register VM for a CPU-focused subset of Mojo33MITCommand line utilitiesCompilers query-langQuery-based incremental compilation framework.33Apache-2.0 OR MITCachingCompilers blockly-rust-compilerRust compiler integration library for visual programming with Blockly - validate and check generated code33Apache-2.0CompilersDevelopment tools mos-lspLanguage server for Mosaic (manifest §17).33MITCompilersText processing trident-langA minimal, security-first universal language for provable computation33non-standardCompilersCryptography logicaffeine-tvSMT translation validation: prove emitted Rust is observationally equivalent to LOGOS source33BUSL-1.1CompilersMathematics tungsten-mc-compileMinecraft worldgen compiler - parses Minecraft data packs and compiles them to optimized Rust/CUDA code33MIT OR Apache-2.0CompilersGame engines remir_llvmThe LLVM binding for the Remir library33MITCompilers karaka-coreKaraka language core: lexer, parser, evaluator32Apache-2.0Compilers oxidized-yaccoxidized-yacc — LALR(1)/LR parser generator (Yacc-class, pure Rust)32GPL-3.0-or-laterCommand line utilitiesCompilers bock-vocabSelf-describing language vocabulary emitter for Bock — keywords, errors, prelude, stdlib, annotations32MITCompilersDevelopment tools pliego-css-irSemantic intermediate representation for PliegoCSS32Apache-2.0CompilersDevelopment tools smelt-transpilerThe `smelt` command-line transpiler: compiles strictly-typed TypeScript (and, from source, Python) to idiomatic Rust.31GPL-3.0-onlyCommand line utilitiesCompilers flow_runtimeRuntime library for the Flow programming language31MITCompilersDevelopment tools flow_stdlibStandard library for the Flow programming language31MITCompilersDevelopment tools mosCommand-line interface for the Mosaic typesetting engine (manifest §15.1).31MITCompilersText processing hugoPure Rust implementation of Hugo-compatible static site generator31AGPL-3.0Command line utilitiesCompilers axicor-bakerAxicor SNN engine — offline topology compiler. TOML brain DNA → binary .state/.axons memory dumps31MIT OR Apache-2.0Command line utilitiesCompilers ananse_airRegister-shaped AIR (algebraic intermediate representation) for the Ananse zkVM31MIT OR Apache-2.0CompilersCryptography tablesolveReusable proof-forest mechanics for tabled type-class resolution31Apache-2.0Compilers xslangTarget-independent semantic analysis and IR core for the X# compiler31MPL-2.0Compilers brevisAn XML processor for a more comfortable light markup syntax30Apache-2.0Command line utilitiesCompilers kz80_smalltalkTiny Smalltalk to Z80 compiler for RetroShield hardware30BSD-3-ClauseCompilersDevelopment tools rantlr-coreRantlr core: .gr lexer, parser, linter, and in-process runtime30MITCompilersParsing tools kz80_prologProlog compiler for Z80 - Logic programming on the RetroShield30BSD-3-ClauseCompilersEmbedded development ananse_wasiDeterministic minimal WASI (WebAssembly System Interface) host for the Ananse zkVM30MIT OR Apache-2.0CompilersCryptography encore_disasmEncore bytecode disassembler with interactive ratatui TUI30Apache-2.0CompilersDevelopment tools kz80_mlTiny ML compiler for the Z80 processor with Hindley-Milner type inference29BSD-3-ClauseCompilersEmbedded development flow_compilerJIT and AOT compiler for the Flow programming language using Cranelift29MITCompilersDevelopment tools kz80_microperlA minimal Perl interpreter and compiler for RetroShield Z8029BSD-3-ClauseCommand line utilitiesCompilers rlx-unfuseShared IR-level unfusion/decompose pass for the GPU-family backends (CUDA/ROCm/wgpu), parameterized by a per-backend…29GPL-3.0-onlyAlgorithmsCompilers pliego-css-themeDeterministic design-token and breakpoint registry for PliegoCSS29Apache-2.0CompilersDevelopment tools luck_tokenTokens, spans, and Lua version flags for the luck toolchain29MITCommand line utilitiesCompilers proofliteThe litelite reference language: total, fuel-bounded, output-capped. Every program halts within its fuel — by construction.29Apache-2.0CompilersParser implementations rubylangRuby as a fusevm frontend: a lexer/parser and compiler to fusevm::Chunk on a RubyHost object heap, with no bespoke VM or JIT —…28MITCommand line utilitiesCompilers encore_flecheFleche language parser — lexer and parser producing Encore compiler IR28Apache-2.0CompilersParser implementations flux-astUniversal Constraint AST — single source of truth for constraint semantics across all representations27MIT OR Apache-2.0CompilersScience kz80_bcArbitrary-precision decimal arithmetic language and calculator for Z8026BSD-3-ClauseCommand line utilitiesCompilers kz80_dbdBASE II clone for Z80 - Retro database on the RetroShield26BSD-3-ClauseCompilersEmbedded development kz80_wsWordStar clone for Z80 - Retro word processor on the RetroShield26BSD-3-ClauseCompilersEmbedded development graphcal-plugin-abiType-safe, unit-aware, Git-friendly reactive programming language for engineering calculations26MIT OR Apache-2.0CompilersScience funcscriptFuncScript universal core runtime (Rust VM) with C ABI and CLI26MITAPI bindingsCommand line utilities pliego-css-parserUtility grammar parser for PliegoCSS26Apache-2.0CompilersDevelopment tools rantlr-genRantlr multi-language code generator (TS, Python, Go, Java, Ruby, Erlang)25MITCompilersParsing tools aot-langAhead-of-time compile the ir-lang IR into a single linked image.25Apache-2.0 OR MITCompilersDevelopment tools nightjar-langA declarative, prefix-notation DSL for formal verification of structured data.25Apache-2.0CompilersDevelopment tools just-engineA ground-up ES6 JavaScript engine with tree-walking interpreter, bytecode VMs, and Cranelift JIT compiler25MIT OR Apache-2.0CompilersParser implementations vexpressoA minimal Kernel/vau-calculus Lisp with first-class operatives and environment-based IO25MITCompilers vuepressPure Rust implementation of VuePress static site generator compiler25AGPL-3.0Command line utilitiesCompilers brink-source-treeSourceTree trait: a host-agnostic seam for enumerating and reading .brink source files25MITCompilersGame development stoffel-bindgenBuild-time Rust binding generation for Stoffel programs25Apache-2.0CompilersDevelopment tools::Build Utils tpt-telos-verifierSelf-contained SMT-style verifier (QF_LRA) for tpt-telos constraints24MIT OR Apache-2.0Command line utilitiesCompilers dashcCompiler, lowering, and artifact generation for DashScene24MITCompilersGUI rantlrRantlr CLI — compile .gr grammars to TypeScript, Python, Go, Java, Ruby, and Erlang24MITCommand line utilitiesCompilers liteliteA kit for purpose-sized languages: buy total verification with smallness. Diagnostics, lexing, parsing, fuel, and capability…24Apache-2.0CompilersParser implementations psilva_functionsBibliotetca de funções do Psilva24MITCompilers solscript-cliCLI for SolScript - compile Solidity-style contracts to Solana24MITCompilersCryptography::Cryptocurrencies fexpressoA minimal Kernel/vau-calculus Lisp with first-class operatives and environment-based IO24MITCompilers tmp-typst-ide-custom-metadataIDE functionality for Typst.24Apache-2.0Compilers pliego-css-compilerDeterministic CSS compiler for PliegoCSS24Apache-2.0CompilersDevelopment tools luck_astLua and Luau AST node types, visitors, and transforms24MITCommand line utilitiesCompilers tpt-telos-parserLexer, parser and AST for the tpt-telos language23MIT OR Apache-2.0Command line utilitiesCompilers tpt-telos-irIntermediate representation and constraint extraction for tpt-telos23MIT OR Apache-2.0Command line utilitiesCompilers lustcA Lean4 subset to Rust source-to-source compiler23MITCompilersDevelopment tools misty-codegen-rsMisty language code generator targetting the Rust language23BSD-3-ClauseCommand line utilitiesCompilers misty-compilerMisty Compiler - CLI utility to build Misty projects23BSD-3-ClauseCommand line utilitiesCompilers compaheuiler컴파흴러. 아희 네희티브 컴파일러 - Aheui compiler23AGPL-3.0-or-laterCompilers