Compilers 2,341 crates

ux-compilerUX Framework Complier1,723GPL-3.0Command line utilitiesCompilers weavyShared lowered-program substrate for interpreters and copy-and-patch backends.1,721MIT OR Apache-2.0CompilersEncoding theforceA Star Wars inspired programming language.1,719MITCommand line utilitiesCompilers rjiGenerates an efficient and seamless Rust/Java bridge. A Rust-Java Interface.1,717LGPL-3.0-or-laterCompilers blazefuckA blazingly-fast (interactive) Brainfuck interpreter.1,717MITCommand line utilitiesCompilers graphix-deriveA dataflow language for UIs derive macros for package management1,706MITCompilersGUI brik_rv32RISC-V Assembly Encoder / Decoder.1,701Apache-2.0 OR BSL-1.0 OR MITCompilersEncoding supergreenLib of common utils for cargo-green & rustcbuildx1,696MITCachingCompilers bifThe Rusty Brainfuck Compiler1,686non-standardCommand line utilitiesCompilers automachinaLobana Abstract Computers1,683AGPL-3.0-or-laterCompilersEmulators bund_stdlib_text_classifierText classification using Bayes classifier for BUND programming language1,680non-standardCompilers graphix-packageA dataflow language for UIs and network programming, package types1,669MITCompilersGUI shaderc-macroCompile shaders with shaderc using macros at compile time1,666MITCompilersDevelopment tools::Build Utils vue-oxc-parserCovert Vue AST (vue-compiler-core) to JSX AST (oxc)1,665MITCompilersDevelopment tools runmat-snapshotHigh-performance snapshot creator for preloading RunMat standard library1,664MITCompilersDevelopment tools digraph-rsa handful of algorithms for digraphs1,663non-standardAlgorithmsCompilers synoxProgram synthesis of string transformations from input-output examples.1,658MITCompilersText processing aegis-langA dynamic, interpreted programming language with a high-performance bytecode VM.1,656MITCommand line utilitiesCompilers hsmlA pug-inspired HTML preprocessor1,653MITAPI bindingsCommand line utilities lexvizA customizable lexical analyser tool which also allows you to visualize the NFAs and DFAs generated.1,652MITCompilers runtime-lexerA simple regex based lexer1,642MIT OR Apache-2.0CompilersParsing tools aiscriptThe AIScript programming language1,638MITCompilersWeb programming hdp-preprocessorHDP preprocessor1,637non-standardAsynchronousCommand-line interface hdp-processorHDP processor1,630non-standardAsynchronousCommand-line interface ts-macroAttribute macro for generating TypeScript interfaces in wasm-bindgen projects.1,629Apache-2.0API bindingsCompilers waspyA Python interpreter written in Rust, designed for WebAssembly.1,626MITCompilersDevelopment tools xidl-typeobjectA IDL codegen.1,624Apache-2.0CompilersNetwork programming stck-interpreterAn interpreter for the stck language1,623GPL-3.0Command line utilitiesCompilers instructA language to write general purpose 'makefile like' tasks which are powerful and reuseable1,618MITCommand line utilitiesCompilers laburnumAn LSP framework for building language servers and compilers, powered by an incremental query tree with content-addressed…1,607BlueOak-1.0.0CachingCompilers nipah_tokenizerA powerful yet simple text tokenizer for your everyday needs!1,607non-standardCompilersGame development wariExperimental WebAssembly Runtime for RISC processors.1,605Apache-2.0 OR MIT OR BSL-1.0CompilersEmulators inside-baseballModding tools for Backyard Baseball 20011,604AGPL-3.0Command line utilitiesCompilers graphix-package-coreA dataflow language for UIs and network programming, core package with shared builtin-authoring traits1,602MITCompilersGUI satekoA toy brainfuck compiler1,599BSD-3-ClauseCompilers rye-grainA Python to Rust translator1,598BSD-3-ClauseCompilersParser implementations kaonA little scripting language written in rust1,596MITCompilers esoboxRust (re-)implementation of various esolangs1,595MITCompilers osom_encoders_x86_64Tools for encoding x86_64 instructions.1,595MITCompilersEncoding scheme4rScheme interpreter for rust1,594MITCompilersDevelopment tools utigoUtigo, a package manager for C++.1,593MIT OR Apache-2.0CompilersDevelopment tools lambPure untyped lambda calculus in safe Rust.1,589MITCommand line utilitiesCompilers cabin-languageA dead simple, highly performant, and extremely safe programming language.1,584GPL-3.0Command line utilitiesCompilers rustdoc_demoThis is used to demo all the rustdoc features1,583AGPL-3.0CompilersDevelopment tools xlogic-corePackage for developing, building, testing, packaging and deploying FPGA and ASIC projects1,580Apache-2.0Command line utilitiesCompilers decy-codegenRust code generation from HIR with minimal unsafe blocks1,576MIT OR Apache-2.0Command line utilitiesCompilers lmincAn assembler and interpreter for the Little Minion Computer model created by Professor Magnus Bordewich of Durham University,…1,564MIT OR Apache-2.0CompilersSimulation opcode-macrosMacros for opcodes encoded in bit fields1,564MITCompilersRust patterns distrustcA Rust-compatible distcc implementation1,561MITCommand line utilitiesCompilers partiql-cliPartiQL CLI1,559Apache-2.0CompilersDatabase interfaces rustoGenerate types of types.1,554MITCompilers quantpilerСompiler of classical algorithms into oracles for quantum computing1,552AGPL-3.0-or-laterCompilersScience libxasExtendable Assembler library1,551GPL-2.0-or-laterCompilers dsv-seekerA simple DSV query interpreter1,549MITCommand line utilitiesCompilers wechat_pay_sdkWechatPay Sdk for Rust1,548MITAccessibilityAPI bindings ecma-specUtilities defined by the EcmaScript Language Specification.1,544MITCompilersDevelopment tools naga-rust-backBackend for the Naga shader translator which generates Rust code.1,539MIT OR Apache-2.0CompilersRendering decy-verifySafety property verification for transpiled Rust code1,537MIT OR Apache-2.0Command line utilitiesCompilers dojiDoji is a Typescript and JavaScript runtime based on Deno.1,534MITCommand line utilitiesCompilers partiql-playgroundPartiQL Playground1,529Apache-2.0CompilersDatabase interfaces uir-coreCore definitions of Universal Intermediate Representation1,525MPL-2.0Compilers luaur-vmThe Luau register virtual machine and standard library (Rust).1,524MITCompilersEmulators mag_langThe Mag Language Runtime1,522MITCompilersDevelopment tools fishextractRust native mermaid parser and generator of SVGs based on those.1,519MIT OR Apache-2.0 OR MPL-2.0CompilersGraphics bynk-syntaxBynk's syntax foundation: lexer, parser, AST, spans, the CompileError type, and the diagnostic-code registry — the lowest leaf of…1,514MIT OR Apache-2.0CompilersParser implementations progenitor-hkAn OpenAPI client generator1,511MPL-2.0API bindingsCompilers wasm2spirvCompile your WebAssembly programs into SPIR-V shaders1,511MITCompilersDevelopment tools lex-syntaxTokenizer + parser for the Lex programming language.1,510EUPL-1.2CompilersDevelopment tools xlogic-compilerPackage for developing, building, testing, packaging and deploying FPGA and ASIC projects1,506Apache-2.0Command line utilitiesCompilers spirtiInterpreter for the SPIR-T GPU shader IR.1,500MIT OR Apache-2.0Compilers miden-field-repr-deriveDerive macros for felt representation serialization/deserialization1,494MITCompilers toy_codegenThe toylang compiler codegen1,492ISCCommand line utilitiesCompilers riscv_analysis_lspRISC-V static analysis tool -- LSP helpers1,491GPL-3.0CompilersDevelopment tools wasm-gpuRuns WASM on the GPU, seamlessly1,482MITCompilersHardware support mrdoA programming language (compiler, assembler, VM, and REPL) for working with collections of data1,481Apache-2.0Compilers comfy-compilerComfy lang compiler1,479MITCommand line utilitiesCompilers zust-dynamicDynamic value model for Zust scripts, with JSON, MessagePack, bytes, and typed vectors.1,474Apache-2.0CompilersData structures mathcompileHigh-performance symbolic mathematics with final tagless design, egglog optimization, and Rust hot-loading compilation1,471Apache-2.0CompilersMathematics snarkvm-ledger-narwhal-batch-header-debugA batch header for a Narwhal-style memory pool in a decentralized virtual machine1,468Apache-2.0CompilersCryptography ternlang-coreCompiler and VM for Ternlang — balanced ternary language with affirm/tend/reject trit semantics, @sparseskip codegen, and BET…1,468LGPL-3.0-or-laterCompilersScience shulkerscriptShulkerscript language implementation with compiler1,464MIT OR Apache-2.0CompilersGame development ryna-ffiFFI interface for the Ryna Programming Language1,461MITCommand line utilitiesCompilers zust-compilerCompiler front-end and semantic lowering for the Zust scripting language.1,460Apache-2.0Compilers simple-vmA simple bytecode VM with a custom compiler1,458MITCompilersDevelopment tools etcetera-compilerA Rust-based compiler project.1,454GPL-3.0-onlyCompilersDevelopment tools riscv_analysis_cliRISC-V static analysis tool -- CLI1,447GPL-3.0CompilersDevelopment tools lexitA Lexical Analysis tool for defining a language and lexing it into tokens1,445MIT OR Apache-2.0CompilersParsing tools spcasmA modern, user-friendly SPC700 assembler.1,427non-standardCommand line utilitiesCompilers brink-formatBinary interface between brink compiler and runtime1,427MITCompilersGame development oak-typescriptTypeScript frontend for Oak1,426MPL-2.0CompilersDevelopment tools kolaFast and lightweight language server for Kotlin1,425GPL-3.0CompilersDevelopment tools template-compilerA compiler from a simple template language to Wasm components1,423MIT OR Apache-2.0CompilersParser implementations air-derive-irMacros for MIR representation of the AirScript language1,422MITCompilersCryptography neorusticusA Prolog implementation in Rust with enhanced error handling1,420MIT OR Apache-2.0CompilersParsing tools miden-field-reprSerialization/deserialization for felt representation1,415MITCompilers crisp-runtimeA runtime for the lisp-like programming language Crisp which (one day!) integrates seamlessly with C/C++ and Rust libraries.1,408MITCompilersParser implementations lex-astCanonical AST + content-addressed identity for Lex programs.1,408EUPL-1.2CompilersDevelopment tools duck-diagnosticGeneric diagnostic engine for building rich error reporting into any tool1,381MITCompilersDevelopment tools haloumi-coreCore types and traits of the Halo2 frontend for LLZK1,380non-standardCompilers rlx-gpu-kernelsShared CUDA/HIP C++ kernel sources for RLX GPU backends (NVRTC / hipRTC).1,370GPL-3.0-onlyAlgorithmsCompilers p1689Data structures for representing p1689 C++ modules dependency files1,368Apache-2.0 WITH LLVM-exceptionCompilersDevelopment tools garguileguile bindings for rust1,365Apache-2.0API bindingsCompilers leo-abi-typesABI type definitions for Leo programs1,364GPL-3.0CompilersCryptography rlx-mlx-sysLow-level MLX C++ build + C ABI shim for RLX (vendored mlx, NVRTC-free).1,360GPL-3.0-onlyAlgorithmsCompilers logicaffeine-kernelPure Calculus of Constructions type theory - NO LEXICON1,359BUSL-1.1CompilersMathematics tetherscriptA dynamically-typed scripting language with Rust-style ownership, implemented as a bytecode VM in Rust1,351MITCompilersEmbedded development digital_test_runnerParse and run tests used in hnemann's Digital logic designer and circuit simulator.1,349MIT OR Apache-2.0CompilersDevelopment tools::Testing miden-tx-kernel-sysPlaceholder for miden-tx-kernel-sys crate1,342MITCompilers ariadnenumDerive macros to easily generate ariadne report from error variants1,341MITCommand line utilitiesCompilers wesley-emit-rustRust syntax-model emitter for Wesley IR1,341Apache-2.0Compilers wesley-emit-typescriptTypeScript syntax-model emitter for Wesley IR1,334Apache-2.0Compilers assura-astAssura AST types (Spanned, Expr, Decl, etc.) - the compiler IR1,330MIT OR Apache-2.0CompilersDevelopment tools logics-rsLogics is a user-friendly formula language with a subset of Python's expression syntax1,329MITCommand line utilitiesCompilers lexarielLexical analyzer for Asmodeus language1,328MITCompilersParsing tools assura-diagnosticsUnified diagnostic types for the Assura compiler1,328MIT OR Apache-2.0CompilersDevelopment tools teacat_libTools for working with TeaCat files1,323Artistic-2.0CompilersParser implementations tl-errorsError types and diagnostics for the ThinkingLanguage compiler1,313Apache-2.0CompilersDevelopment tools assura-parserLexer, parser, and AST for the Assura contract language1,311MIT OR Apache-2.0CompilersDevelopment tools onlaA programming language running on json or yaml1,301MITCompilers brink-syntaxSyntax types and parser for inkle's ink narrative scripting language1,296MITCompilersGame development lex-typesType system + effect inference for Lex.1,296EUPL-1.2CompilersDevelopment tools rs2cA (very WIP) Rust to C transpiler1,292MIT OR Apache-2.0CompilersDevelopment tools::FFI liexprA library for parsing and evaluating simple expressions.1,291MITCompilersParser implementations assura-configProject configuration and output mode types for the Assura compiler1,288MIT OR Apache-2.0CompilersDevelopment tools sv_simA simple SystemVerilog simulation tool written in rust1,287MITCompilersParsing tools wesley-cliWesley native CLI1,287Apache-2.0Command line utilitiesCompilers assura-stdlibAssura standard library contracts and prelude types1,278MIT OR Apache-2.0CompilersDevelopment tools brink-irIntermediate representations for inkle's ink narrative scripting language1,274MITCompilersGame development kotliniteKotlin Language Server (WIP)1,272Apache-2.0CompilersDevelopment tools rlx-mlxMLX backend for RLX — Apple's array framework via hand-rolled C++ shim, eager + lazy execution1,268GPL-3.0-onlyAlgorithmsCompilers air-mirIntermediate representation for the AirScript language1,263MITCompilersCryptography assura-resolveName resolution and symbol table for the Assura contract language1,262MIT OR Apache-2.0CompilersDevelopment tools rlx-metalMetal backend for RLX — Apple Silicon GPU via Metal Performance Shaders + custom MSL kernels1,253GPL-3.0-onlyAlgorithmsCompilers gostd_dervieproc_macro_derive library for gostd.1,251MITAccessibilityAPI bindings cas-compilerBytecode compiler for CalcScript programs1,251MITCompilersMathematics logicaffeine-lexiconEnglish vocabulary types and compile-time lexicon lookup for logicaffeine1,250BUSL-1.1CompilersMathematics logicaffeine-dataWASM-safe data structures and CRDTs - NO IO1,249BUSL-1.1CompilersMathematics jonlangbasic scripting language made to learn rust1,246MIT OR Apache-2.0Compilers rlx-cudaNVIDIA CUDA backend — cuBLAS for matmul + NVRTC-compiled kernels for everything else, via the pure-Rust `cudarc` crate.1,246GPL-3.0-onlyAlgorithmsCompilers rlx-wgpuCross-platform GPU backend for RLX via wgpu (Metal/Vulkan/DX12/WebGPU)1,245GPL-3.0-onlyAlgorithmsCompilers assura-typesType checking for the Assura contract language1,245MIT OR Apache-2.0CompilersDevelopment tools logicaffeine-proofBackward-chaining proof engine (certified SAT/CDCL, tactics, Socratic hints) plus the number-theory / cryptanalysis substrate…1,242BUSL-1.1CompilersMathematics crisp-macroA proc macro for the lisp-like programming language Crisp which (one day!) integrates seamlessly with C/C++ and Rust libraries.1,234MITCompilersParser implementations rlx-textRLX text — tokenizer wrappers, chat templates, sampling. Public surface for downstream LM apps.1,232GPL-3.0-onlyAlgorithmsCompilers decy-coreCore transpilation pipeline for C-to-Rust conversion1,224MIT OR Apache-2.0Command line utilitiesCompilers bynk-checkBynk's semantic-analysis layer: name resolution, type checking, the kernel-method and builtin registries, first-party sources,…1,223MIT OR Apache-2.0Compilers codelighterA fast error, warning and notes highlighter for Rust1,221MITCompilersText processing cas-rsA CalcScript executor and REPL.1,215MITCommand line utilitiesCompilers maat_spanSource span and location types for the Maat compiler1,214MIT OR Apache-2.0Compilers midenc-dialect-wasmMiden IR Wasm Dialect1,207MITCompilers zust-parserLexer and parser for the Zust scripting language.1,207Apache-2.0CompilersParser implementations imp_treeA collection of traits for modelling tree-structure in IMP programs1,204MITCompilers assura-codegenRust code generation from type-checked Assura contracts1,204MIT OR Apache-2.0CompilersDevelopment tools assura-smtSMT-based verification for Assura contracts via Z31,203MIT OR Apache-2.0CompilersDevelopment tools mcfnAn mcfunction preprocessor1,200MITCommand line utilitiesCompilers leo-parser-losslessLossless syntax tree parser for the Leo programming language1,199GPL-3.0CompilersCryptography typescript-astA native Typescript parser.1,198MITCompilersParsing tools partiql-extension-csvPartiQL CSV extensions1,190Apache-2.0CompilersDatabase interfaces leo-abiABI generation for Leo programs1,186GPL-3.0CompilersCryptography decy-stdlibC standard library prototypes for the Decy C-to-Rust transpiler1,184MIT OR Apache-2.0Command line utilitiesCompilers jasm-assemblerModern assembler for JVM instruction set - strongly typed, object-oriented, zero-dependency core1,183MPL-2.0Compilers shireThe Rust version of Shire1,178MPL-2.0CompilersDevelopment tools lust-rsA WIP Lua-like scripting language implemented in Rust, designed for embedding and rapid scripting with a strong type system, with…1,178non-standardCompilersDevelopment tools shulkerscript-cliCommand line tool to compile Shulkerscript projects1,174MIT OR Apache-2.0Command line utilitiesCompilers conthirThe Conthir CLI1,173Apache-2.0Command line utilitiesCompilers simple-expressionsA small expression language with variables, function calls, simple types and common operators1,173MIT OR Apache-2.0CompilersParser implementations rlx-rocmAMD ROCm/HIP backend — same .cu kernel sources as rlx-cuda, dispatched via HIP.1,172GPL-3.0-onlyAlgorithmsCompilers imp_astAbstract syntax trees for IMP programs1,157MITCompilers bellronosBellande Operating System Programming Language written in Rust1,152GPL-3.0-or-laterCompilersDevelopment tools parseidParser for Asmodeus language with AST generation1,147MITCompilersParsing tools qir-qisQIR to Quantinuum QIS (Quantum Instruction Set) compiler1,146Apache-2.0CompilersScience thalir-coreCore IR types and builders for ThalIR smart contract analysis1,145MPL-2.0CompilersDevelopment tools assura-pipelineShared compiler pipeline for the Assura language1,139MIT OR Apache-2.0CompilersDevelopment tools logicaffeine-systemPlatform IO, networking, persistence, and post-quantum crypto kernels (Keccak/SHA-3, ChaCha20-Poly1305, ML-KEM, ML-DSA) for LOGOS1,136BUSL-1.1CompilersMathematics assura-fmtSource code formatter for the Assura contract language1,132MIT OR Apache-2.0CompilersDevelopment tools logicaffeine-languageNatural language to first-order logic pipeline1,131BUSL-1.1CompilersMathematics tl-astAbstract Syntax Tree definitions for ThinkingLanguage1,131Apache-2.0CompilersDevelopment tools dismaelDisassembler for Asmodeus binary files with intelligent analysis1,128MITCompilersDevelopment tools bitcoin-arenaEfficient arena-based memory management crate for high-performance Rust applications, facilitating customized memory allocations.1,127MITCompilersData structures haloumi-irIntermediate representation of the haloumi framework.1,125non-standardCompilers bynk-emitBynk's build orchestration and TypeScript emission: project discovery, the dependency graph, validation, and the emitter that…1,121MIT OR Apache-2.0Compilers aver-langVM and transpiler for Aver, a statically-typed language designed for AI-assisted development1,120MITCompilers brink-analyzerCross-file semantic analysis for inkle's ink narrative scripting language1,119MITCompilersGame development ternlang-mlTernary ML inference kernels — TritFloat (confidence-native ternary float), TritFloatTensor, sparse_matmul (@sparseskip),…1,117LicenseRef-BSL-1.1CompilersScience fartdownAn experimental semantic markup language and static site generator for crafting hypertext documents1,112AGPL-3.0-onlyCommand line utilitiesCompilers lex-bytecodeBytecode compiler + VM for Lex.1,109EUPL-1.2CompilersDevelopment tools jit-assemblerA multi-architecture JIT assembler library for runtime code generation1,096MITCompilersDevelopment tools clr-assemblerModern CLR assembler for x64 and x86 instruction sets - strongly typed, object-oriented, zero-dependency core1,094MPL-2.0Compilers haloumi-loweringCore traits for enabling types to integrate with the codegen module.1,093non-standardCompilers assura-llmLLM provider abstraction and contract analysis for Assura1,093MIT OR Apache-2.0CompilersDevelopment tools maat_errorsCompiler error types and diagnostic infrastructure for the Maat programming language1,092MIT OR Apache-2.0Compilers assura-lspLSP server for the Assura contract language1,086MIT OR Apache-2.0CompilersDevelopment tools teacatA modern document languge for web pages.1,085Artistic-2.0Command line utilitiesCompilers assura-mcpMCP (Model Context Protocol) server for Assura AI agent integration1,084MIT OR Apache-2.0CompilersDevelopment tools nargo-irNargo intermediate representation1,082MITCompilersDevelopment tools ringkernel-cuda-codegenCUDA code generation from Rust DSL for RingKernel stencil kernels1,080Apache-2.0CompilersDevelopment tools single-variable-algebra-compilerA compiler for the minimalistic programming language single-variable-algebra.1,080non-standardCompilers bynk-fmtFormatter for the Bynk DSL (used by bynkc-lsp).1,076MIT OR Apache-2.0CompilersDevelopment tools lunar-langLunar is a compiler that generate mruby bytecodes from Lua script.1,069BSD-3-ClauseCompilers tmp-typst-timing-custom-metadataPerformance timing for Typst.1,069Apache-2.0Compilers