baracuda-nvrtc-sys cargo 0.0.1-alpha.86 clean Raw FFI bindings and dynamic loader for NVIDIA NVRTC (runtime CUDA-C++ to PTX compiler). 3.2K 1d ago synth-backend-riscv cargo 0.81.0 clean RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth 3.1K 10h ago synth-backend cargo 0.81.0 clean ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration 3.1K 10h ago midenc-hir-eval cargo not built 0.11.0 did not build An interpreter for Miden IR 3.1K 2d ago baracuda-kernels-sys cargo not built 0.0.1-alpha.86 did not build Compiled bespoke .cu kernel template instantiations for the baracuda ML kernel facade plus C-ABI FFI facades for the library-backed plans (cuDNN conv/pool,… 3.1K 1d ago rucc-regalloc cargo 0.24.8 clean Both register allocators and the allocation checker. 3.1K 2d ago baracuda-cutlass cargo 0.0.1-alpha.86 4 detections 4 Safe Rust wrapper for compiled CUTLASS kernels: plan-based GEMM and grouped GEMM with caller-supplied workspace, typed device-buffer arguments, and… 3.1K 22h ago rucc-object cargo 0.24.8 clean ELF, Mach-O and COFF object writers. 3.0K 2d ago synth-frontend cargo 0.81.0 clean WASM/WAT parser and module decoder frontend for the Synth compiler 3.0K 10h ago baracuda-nvrtc cargo 0.0.1-alpha.86 clean Safe Rust wrappers for NVIDIA NVRTC (compile CUDA C++ to PTX at runtime). 3.0K 1d ago rucc-pp cargo 0.24.8 clean Macro expansion, conditionals, include resolution, and the header cache. 3.0K 2d ago css-parser cargo 0.2.0 clean CSS parser and compiler written in Rust. Can be used as standalone library or cli tool 2.9K 2h ago rucc-parse cargo 0.24.8 clean Recursive descent with a Pratt expression parser, declarators, and error recovery. 2.9K 2d ago rucc-lower cargo 0.24.8 clean The typed AST to IR walk: SSA construction and ABI-directed lowering. 2.9K 2d ago rucc-opt cargo 0.24.8 clean The pass manager, the acyclic e-graph, the rewrite rules and the analyses. 2.9K 2d ago rucc-codegen cargo 0.24.8 clean Instruction selection, scheduling, block layout, frames and prologue emission. 2.8K 2d ago rucc-asm cargo 0.24.8 clean Instruction encoders, the integrated assembler, inline assembly and relaxation. 2.7K 2d ago synth-verify cargo 0.81.0 clean SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle) 2.7K 12h ago midenc-log cargo 0.11.0 clean Provides flexible trace logging for midenc 2.6K 2d ago spec-spine-cli cargo 0.29.0 clean The `spec-spine` command-line tool: compile a markdown spec corpus into a deterministic authority registry and query it. A thin wrapper over spec-spine-core. 2.6K 2d ago greentic-sorla-lib cargo 1.2.0-dev.37710159493 clean Reusable library facade for Greentic SoRLa authoring, validation, and handoff artifacts. 2.6K 4h ago hamelin_wasm cargo 0.23.0 clean 0.23.4 did not build Hamelin implementation compiled to WASM 2.6K 2d ago synth-backend-awsm cargo 0.81.0 clean aWsm backend integration for the Synth compiler 2.6K 10h ago synth-backend-wasker cargo 0.81.0 clean Wasker backend integration for the Synth compiler 2.6K 10h ago rucc-driver cargo 0.24.8 clean Command line, phase graph and job scheduling for the rucc C compiler. 2.5K 2d ago rucc-cost cargo 0.24.8 clean The cost model: what an operation costs on a target, and every tuning constant. 2.5K 2d ago fixed-bitset cargo 0.0.1 clean A bitset whose size is fixed at compile-time 2.5K 1h ago synth-cli cargo 0.81.0 clean CLI for Synth, the WebAssembly-to-ARM Cortex-M AOT compiler 2.4K 9h ago greentic-sorla cargo not built 1.2.0-dev.37710159493 did not build Wizard-first CLI for Greentic SoRLa. 2.4K 4h ago assura-ast cargo 0.6.0 clean Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR 2.3K 2d ago 