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 bynk-emit cargo 0.309.4 clean Build orchestration and TypeScript emission for the Bynk compiler. 1.7K 15h ago xrune cargo 1.10.1 clean Declarative UI DSL framework with pluggable codegen backends 1.6K 23h 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 a4-cli cargo 0.31.0 20 vulnerabilities 20 CLI tool for generating TypeScript SDKs from Arete stream specifications 1.2K 6h ago zenkey-build cargo 0.11.1 clean Registry codegen for the zenkey keyspace-v2 convention: lint registry TOMLs (RFC 08 §5) and generate typed subject/procedure builders from your build script 1.2K 1d ago crozier cargo 0.0.102 clean Ultra-fast OpenAPI-to-SDK code generator that matches Fern's output, byte for byte. 1.2K 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 autumn-macros-model cargo 0.8.0 clean Database-model proc macros for the Autumn web framework (#[model], #[service]); split from autumn-macros so DB codegen only compiles when the db feature is… 774 3d ago autumn-macros-repository cargo 0.8.0 clean Repository proc macros for the Autumn web framework (#[repository]); split from autumn-macros so DB codegen only compiles when the db feature is enabled 773 3d 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 diesel-dualdb-macros cargo 0.2.0 clean Procedural macros for diesel-dualdb (test harness + bridge codegen). 625 18h ago warble-claude-code cargo 0.17.0 clean Warble back-end for the Claude Code CLI target: IR → static agent files + reference renderer + capability manifest. 445 17h ago guicons-build cargo 0.13.0 clean build.rs codegen: parses icons.gui.toml, materializes assets, generates Rust/Slint registries 440 2d 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 sacp-cbor-abi cargo 0.13.0 clean Stable ABI schema and codegen layer for sacp-cbor 380 1d ago warble-vercel cargo 0.17.0 clean Warble back-end for the OSS harness bundle target (Vercel AI SDK): IR → file-based JSON bundle, emit-only. 373 6h ago cratefield-manifest cargo 0.3.1 clean The venture manifest and deterministic Rust composition generator for Cratefield 293 1d ago conmig cargo 0.3.0 clean Resolve ordered layers of YAML into one native configuration file, without copying templates. 269 37m ago rngo cargo 0.38.0 clean Rust library for rngo simulations 210 2d ago cratefield-client-ts cargo 0.4.1 clean The deterministic TypeScript client generator: a /__surface contract in, the files of a typed @cratefield/client package out 183 1d ago wickra-compile-core cargo 0.2.0 clean Codegen core: compile a Wickra strategy spec into a standalone deployable with a deterministic manifest. 132 2d ago lungo cargo 1.88.0 clean Runtime and facade types for Rust code generated from Lean by lungo-build 113 14h ago rucc-legalize cargo 0.24.8 clean IR to IR rewrites into the operations that a back end has. 83 1d ago octopux-cli cargo 0.25.0 5 vulnerabilities 5 CLI to generate base models for octopux 73 16h ago lungo-build cargo 1.88.0 clean Compiles Lean projects into Rust at Cargo build time 61 14h ago rucc-wasm cargo 0.24.8 clean The WebAssembly back end: selection, structured control flow and the object. 59 1d ago 