rucc-cost cargo 0.24.8 clean The cost model: what an operation costs on a target, and every tuning constant. 2.5K 1d ago rucc-debug cargo 0.24.8 clean DWARF 5 generation. 2.1K 1d ago rucc-safety cargo 0.24.8 clean The memory safety monitor: check insertion over the IR. 2.0K 1d ago rucc cargo 0.24.8 4 detections 4 An optimizing C compiler written in Rust, targeting real projects from SQLite to the Linux kernel. 2.0K 1d ago rucc-builtins cargo 0.24.8 clean The libgcc-ABI-compatible runtime support library emitted code may call. 1.9K 1d ago rucc-lto cargo 0.24.8 clean Module merging, summaries and Thin LTO. 1.9K 1d ago rucc-verify cargo 0.24.8 clean SMT verification of the rucc rewrite and lowering rule set. 1.8K 1d ago rucc-sysroot cargo 0.24.8 clean Sysroot layout, header search paths and link lines for rucc, computed from the target and never from the host. 1.8K 1d ago rucc-archive cargo 0.24.8 clean Writes the ar archives a linker reads as static libraries, with the symbol index in them and nothing that varies between two runs, for the rucc C compiler. 1.3K 1d ago rucc-safe-rt cargo 0.24.8 clean The memory safety runtime: the planes, the allocator and the reporter. 1.3K 1d ago rucc-stub cargo 0.24.8 clean Synthesizes the shared libraries a linker needs from a description of their exported interface, for rucc's self-contained cross compilation. 1.1K 1d ago rucc-targets cargo 0.24.8 clean Target and psABI queries for the rucc C compiler, and the generator for docs/TARGETS.md and docs/FEATURES.md. 1.1K 1d ago bynk cargo 0.309.0 clean The Bynk developer driver: links the compiler in-process and orchestrates the Node toolchain (doctor, new, dev, deploy, check, fmt, test, explain). 919 19h ago rucc-headers cargo 0.24.8 clean Derives a multi-version libc header tree from real installed header sets, for the rucc C compiler. 688 1d ago rucc-unpack cargo 0.24.8 clean Reads the container formats Microsoft's Windows SDK payloads arrive in, deflate and zip and cabinet and compound file, for the rucc C compiler. 426 1d ago midenup cargo 1.2.0 2 vulnerabilities 2 The Miden toolchain manager 423 2d ago act-policy cargo 0.14.5 clean Capability policy decision core (PDP) for the ACT toolchain 397 4h ago varve-core cargo 0.40.0 clean Layer manifests, resolution, the core store, and verification wiring for varve 306 23h ago tidas-contracts cargo 0.3.4 clean Stable machine-report and exit contracts for the TIDAS Rust toolchain 260 3h ago rucc-legalize cargo 0.24.8 clean IR to IR rewrites into the operations that a back end has. 83 1d ago sv-lang-wasm cargo 0.1.6+slang.12.0 clean Run slang in a WebAssembly sandbox via wasmtime — parse SystemVerilog with no native slang, no C++ toolchain 81 1d ago rucc-wasm cargo 0.24.8 clean The WebAssembly back end: selection, structured control flow and the object. 59 1d ago ridl-cli cargo 0.6.0 2 vulnerabilities 2 The `ridl` command-line toolchain: check, build, fmt, lock, diff, lsp, and mcp, over the shared compiler crates. 57 15h ago 