miden-base cargo not built 0.15.0 did not build Miden rollup Rust SDK 7.0K 2d ago tishlang_runtime cargo 4.0.1 clean Minimal runtime for Tish compiled output 6.8K 3h ago rucc-diag cargo 0.24.8 clean Diagnostics, spans and source maps for the rucc C compiler. 6.8K 2d ago cubecl-llvm cargo not built 0.11.0 did not build LLVM compiler for CubeCL 6.4K 1d ago synth-core cargo 0.81.0 clean Core types, error handling, and backend trait for the Synth compiler 6.0K 14h ago rucc-session cargo 0.24.8 clean The per-compilation session, options and diagnostic sink for the rucc C compiler. 5.5K 2d ago rucc-tuple cargo 0.24.8 clean The ten field target tuple, the target table and the tier model for the rucc C compiler. 5.5K 2d ago spec-spine-core cargo 0.29.0 clean The spec-spine engine: compile a markdown spec corpus into a deterministic authority registry, and query it. The library FFI bindings will wrap. 5.3K 2d ago rucc-types cargo 0.24.8 clean The C type system, interned, and layout computation. 5.2K 2d ago rucc-abi cargo 0.24.8 clean The psABIs for rucc, as descriptions read by one classifier rather than as one function per ABI. 5.2K 2d ago synth-cfg cargo 0.81.0 clean Control flow graph representation for the Synth compiler 5.1K 13h ago rucc-lex cargo 0.24.8 clean Translation phases 1 to 3, pp-tokens, the fast scanner, the keywords and the constants. 4.8K 2d ago synth-opt cargo 0.81.0 clean Peephole optimization passes for the Synth compiler 4.8K 12h ago portaki-sdk-macros cargo 10.0.0 clean Proc-macros for Portaki modules — compile-time manifest emissions for portaki build 4.8K 18h ago synth-synthesis cargo 0.81.0 clean WASM-to-ARM instruction selection and peephole optimizer 4.5K 13h ago rucc-ir cargo 0.24.8 clean The SSA IR with block parameters, and its printer, parser and verifier. 4.2K 2d ago baracuda-forge cargo 0.0.1-alpha.86 clean Build-time CUDA kernel compiler for the baracuda ecosystem: nvcc-driven incremental builds, parallel compilation, GPU auto-detection, and CUTLASS / custom git… 4.2K 1d ago rucc-ast cargo 0.24.8 clean The arena-allocated AST and its printer. 4.1K 2d ago rucc-gnu cargo 0.24.8 clean The GNU compatibility surface: features.toml, attributes, builtins, pragmas. 4.1K 2d ago greentic-sorla-lang cargo 1.2.0-dev.37710159493 clean Language-facing types for Greentic SoRLa. 4.1K 4h ago greentic-sorla-ir cargo 1.2.0-dev.37710159493 clean Canonical IR scaffolding for Greentic SoRLa. 3.7K 4h ago rucc-mir cargo 0.24.8 clean The machine IR, still in SSA, and its printer and parser. 3.6K 2d ago rucc-rules cargo 0.24.8 clean The rewrite and lowering rule DSL compiler for the rucc C compiler. 3.5K 2d ago baracuda-cutlass-kernels-sys cargo 0.0.1-alpha.86 4 detections 4 Compiled CUTLASS template instantiations for the baracuda ecosystem. Hosts curated .cu kernel sources, builds them via baracuda-forge, exposes extern "C" entry… 3.5K 1d ago axonyx-core cargo 0.6.2 clean Core parser, lowering, query model, and SQL draft compiler for Axonyx 3.4K 1d ago greentic-sorla-pack cargo 1.2.0-dev.37710159493 clean Package and artifact scaffolding for Greentic SoRLa. 3.3K 4h ago rucc-sema cargo 0.24.8 clean Type checking, conversions, initialization, constant evaluation, and the typed AST. 3.3K 2d ago kaiv cargo 0.15.0 clean Reference implementation of the kaiv format (Levels 0-3): lexer, compiler, denormalizer, schema compiler, validator 3.3K 1d ago tishlang_bytecode cargo 4.0.1 clean Bytecode compiler for Tish (AST → bytecode) 3.2K 2h ago 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 