nash-solve cargo 0.10.0 clean The entry point of nash's type inference system. Implements type inference and specialization of traits. 435 1d ago rahi-ops cargo 0.6.0 clean The operational verbs of the rahi chassis: preflight, migrate, backup, restore, and ledger verify 434 3d ago svod-runtime cargo 0.2.0 clean Kernel execution runtime for the Svod ML compiler 434 4d ago molgfx-semantic cargo 0.5.3 clean The semantic layer: focus and context, banding, interaction edges, label policy. 432 6d ago turbojev-schema cargo 0.34.0 clean Typed request/response schema for TurboJev and Jev-compatible decisions 432 16h ago zj-radar-core cargo 0.10.0 clean Shared wire/classification core for zj-radar: status payloads, agent/command kinds, and the versioned pipe schema. 432 1d ago boon-proto cargo 0.4.11094174+6759 clean Protobuf definitions for Deadlock demo files 431 5d ago dog-auth cargo 0.3.0 clean Authentication system for DogRS framework 431 3d ago halley-config cargo 0.8.0 clean Configuration loading and parsing for the Halley Wayland compositor 430 6d ago spate-clickhouse cargo 0.3.0 clean ClickHouse sink for the Spate framework: direct-to-shard writes with replica rotation, batch flushing, and insert deduplication tokens. Applications should… 429 14h ago spate-kafka cargo 0.3.0 clean Kafka source and producer sink for the Spate framework, built on rdkafka: a single consumer per process with partition queues fanned across pipeline threads,… 429 14h ago fc-gpui-platform cargo 0.11.1 clean Internal platform composition facade for fc-gpui 428 4d ago rusty_xml cargo 0.8.2 clean libxml2 remade in Rust — parse, tree, SAX, reader, writer, XPath, validation. No C. 428 1d ago curvy-witnesscalc cargo 0.1.1 clean Witness generation and Groth16 proving for the Curvy circuits 427 2h ago fugue-evo cargo 0.4.0 clean An implementation of fugue for running evolutionary algorithms as Bayesian inference: priors and likelihoods as probabilistic programs, tempered SMC in trace… 427 5d ago inillucent-migrate cargo 2.5.5 clean Resumable copy-and-verify migration of a legacy inillucent index directory into a inillucent database, and the legacy direct index API over one. 427 6h ago borsalino cargo 0.7.0 clean Thin GPU compute abstraction — Metal and Vulkan backends for Industrial Algebra 426 5d ago crp_diag cargo 0.8.1 clean Diagnostic implementation for cargo-release-plan - do not reference directly 426 2d ago kurbo-se cargo not built 0.1.2 did not build Stroke extensions for kurbo: Figma-style stroke alignment (inside/center/outside), per-end caps, dash caps, and dashed aligned strokes 426 1d ago dynamic-cli cargo 0.10.0 clean A framework for building configurable CLI and REPL applications from YAML/JSON configuration files 425 1d ago molgfx-geometry cargo 0.5.3 clean GPU geometry generation: impostor packing, cartoons, labels, bounding hierarchies. 425 6d ago securitydept-token-set-context cargo 0.3.4 clean Token Set Context of SecurityDept, a layered authentication and authorization toolkit built as reusable Rust crates. 425 16h ago spate-avro cargo 0.3.0 clean Avro deserialization for the Spate framework: Confluent wire format, schema registry integration, and schema-evolution support. Applications should depend on… 425 14h ago anoma-rm-solana cargo 2.0.0-rc.6.1 clean Solana engine for Anoma Resource Machine transaction verification (syscall-based) 424 3d ago padlock-macros cargo not built 0.20.0 did not build Compile-time struct layout assertions for padlock 424 1d ago fnprint-emu cargo 0.6.1 clean Microexecution engine that records function behavior for fnprint 423 2d ago nanobook-broker cargo 0.10.1 clean Broker abstraction and IBKR/Binance adapters for nanobook execution workflows 422 1d ago sloc-mcp cargo 1.6.23 clean MCP stdio server exposing oxide-sloc analysis tools to AI agents 422 8h ago rankit cargo 0.1.8 clean Learning-to-rank losses and evaluation 421 3d ago rvoip-redis cargo 0.4.0 clean Redis-backed auth provider implementations for RVoIP 421 8h ago 