tauri-plugin-mdns cargo 0.4.2 clean mDNS service discovery (browse) for Tauri apps, with Android local-network permission handling 462 4d ago onlyne-config cargo 2.1.2 clean Onlyne cluster spec and client config: strict TOML parsing, validation, reload diffs 461 10h ago flexaudio-os-macos cargo 0.3.1 clean macOS system and per-process audio capture backend (Core Audio process taps) for flexaudio. 460 3d ago csw-core cargo 0.1.0 clean Core categorical structures for the Categorical Semantics Workbench - define categories and derive type systems 459 2d ago mago-flags cargo 1.52.0 clean Compact, type-tagged bitsets for Mago: generic `U8Flags`...`U128Flags` over any `Into<uN>` flag type. 459 3d ago velveteen cargo 0.8.46 clean Task vocabulary: ForgeSpec, ForgeCommand, and the TaskPlacement (location x runtime) axis, sharing TaskId + scryer scope 459 5h ago cratefield-module-waitlist cargo 0.4.2 clean Cratefield module: per-product waitlist with confirm, position, referral codes 457 3d ago rustrade-integration cargo 0.10.1 clean Low-level framework for composing flexible web integrations, especially with financial exchanges 457 1d ago baracuda-nvimagecodec cargo 0.0.1-alpha.86 clean Safe Rust wrappers for NVIDIA nvImageCodec (unified GPU image decode). 456 3d ago ntk-common cargo 0.1.9 clean Shared base types for netsukuku-rs: topology, hierarchical addressing, fingerprints, path cost. 456 4d ago inset-embedder cargo 0.6.0 clean dart:ui host traits and value types for Inset 453 1d ago aprender-rag-cli cargo 0.70.2 clean CLI for Trueno-RAG pipeline 449 2d ago oxiz-spacer cargo 0.3.4 clean Property Directed Reachability (PDR/IC3) engine for OxiZ - Horn clause solving 449 6h ago ace-server cargo 0.6.0 clean UDS ECU server state machine. Handles all session management security access, timing, periodic DID scheduling, and NRC construction. 448 3d ago cranpose-navigation cargo 0.9.19 clean NavHost, a typed back stack and per-screen view models for Cranpose 447 2h ago discrtree cargo 0.65.0 clean Find Lean declarations by shape and lift them into a proof 446 2d ago warble-eval-compare cargo 0.17.0 clean Warble eval comparator: compare a result-set table against a golden expectation (scalar/set/ordered match, with tolerance). 445 3d ago tishlang_apple_common cargo 2.0.0 clean Shared tag/style/handler helpers for tish-macos and tish-ios 444 2d ago kamaji cargo 0.8.46 clean Kamaji — yah's relocatable workload supervisor. Trait surface + supporting types; backend impls land in R484-T2. See… 443 5h ago functora-tagged cargo 0.2.8 clean Lightweight, macro-free newtypes with refinement and derived traits. 442 3d ago subduction_ephemeral cargo 0.9.0 clean Ephemeral (non-persisted) messaging for Subduction 442 2d ago crush-diagnostics cargo 0.4.0 clean Canonical NDJSON diagnostic helper trio for the Crush CLI surface — shared shape (code, level, file, line, col, message, hint) extracted from the inlined… 441 1d ago derec-proto cargo not built 0.0.7 did not build Generated Rust protobuf types for the DeRec protocol. 441 2d ago minip2p-smoltcp cargo 0.7.6 clean Shared smoltcp stack handle for minip2p embedded adapters 441 5h ago ironflow-ops-helm cargo 0.1.32 clean Helm operations for Ironflow workflows, wrapping the Helm CLI 438 2d ago ironflow-ops-grafana cargo 0.1.33 clean Grafana operations for Ironflow workflows, using direct HTTP calls 437 2d ago polyc-tui cargo not built 2026.10.1 did not build Operator cockpit TUI (pc-tui) for the polychrome control plane: fleet, transcript, approvals, and tools panes. 436 3d ago polyc-web-session cargo not built 2026.10.1 did not build Browser session establishment (ADR 0007): one-time login challenges, the shared session cookie, and both the persona-passkey and wallet-passkey ceremonies that… 436 3d ago sdd-core cargo 1.0.0-rc.5 clean Core contract, discovery, validation and utilities for the SDD (Spec-Driven Development) layer 436 1d ago void-core cargo 0.0.4 clean VCS engine for void — pipelines, workspace, diff, merge, transport, collaboration 436 1d ago 