| rucc-ast cargo | 0.24.8 | clean | The arena-allocated AST and its printer. | 4.1K | 1d ago |
| rucc-gnu cargo | 0.24.8 | clean | The GNU compatibility surface: features.toml, attributes, builtins, pragmas. | 4.1K | 1d ago |
| greentic-sorla-lang cargo | 1.2.0-dev.37710159493 | clean | Language-facing types for Greentic SoRLa. | 4.1K | 1h ago |
| greentic-sorla-ir cargo | 1.2.0-dev.37710159493 | clean | Canonical IR scaffolding for Greentic SoRLa. | 3.7K | 1h ago |
| rucc-mir cargo | 0.24.8 | clean | The machine IR, still in SSA, and its printer and parser. | 3.6K | 1d ago |
| rucc-rules cargo | 0.24.8 | clean | The rewrite and lowering rule DSL compiler for the rucc C compiler. | 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 | 1h ago |
| rucc-sema cargo | 0.24.8 | clean | Type checking, conversions, initialization, constant evaluation, and the typed AST. | 3.3K | 1d 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.0 | clean | Bytecode compiler for Tish (AST → bytecode) | 3.2K | 7h 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 | 22h ago |
| synth-backend-riscv cargo | 0.81.0 | clean | RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth | 3.1K | 6h ago |
| synth-backend cargo | 0.81.0 | clean | ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration | 3.1K | 6h ago |
| midenc-hir-eval cargo | | not built 0.11.0 did not build | An interpreter for Miden IR | 3.1K | 1d ago |
| rucc-regalloc cargo | 0.24.8 | clean | Both register allocators and the allocation checker. | 3.1K | 1d ago |
| rucc-object cargo | 0.24.8 | clean | ELF, Mach-O and COFF object writers. | 3.0K | 1d ago |
| synth-frontend cargo | 0.81.0 | clean | WASM/WAT parser and module decoder frontend for the Synth compiler | 3.0K | 6h ago |
| rucc-pp cargo | 0.24.8 | clean | Macro expansion, conditionals, include resolution, and the header cache. | 3.0K | 1d ago |
| tishlang_compile cargo | 4.0.0 | clean | Tish native compiler backend | 2.9K | 7h ago |
| rucc-parse cargo | 0.24.8 | clean | Recursive descent with a Pratt expression parser, declarators, and error recovery. | 2.9K | 1d ago |
| rucc-lower cargo | 0.24.8 | clean | The typed AST to IR walk: SSA construction and ABI-directed lowering. | 2.9K | 1d ago |
| rucc-opt cargo | 0.24.8 | clean | The pass manager, the acyclic e-graph, the rewrite rules and the analyses. | 2.9K | 1d ago |
| rucc-codegen cargo | 0.24.8 | clean | Instruction selection, scheduling, block layout, frames and prologue emission. | 2.8K | 1d ago |
| rucc-asm cargo | 0.24.8 | clean | Instruction encoders, the integrated assembler, inline assembly and relaxation. | 2.7K | 1d 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 | 8h ago |
| midenc-log cargo | 0.11.0 | clean | Provides flexible trace logging for midenc | 2.6K | 1d ago |
| greentic-sorla-lib cargo | 1.2.0-dev.37710159493 | clean | Reusable library facade for Greentic SoRLa authoring, validation, and handoff artifacts. | 2.6K | 1h ago |
| synth-backend-awsm cargo | 0.81.0 | clean | aWsm backend integration for the Synth compiler | 2.6K | 6h ago |
| synth-backend-wasker cargo | 0.81.0 | clean | Wasker backend integration for the Synth compiler | 2.6K | 6h ago |
