ikigai-passkey cargo 0.1.39 clean A minimal single-user WebAuthn (ES256) assertion verifier: check a passkey assertion against one registered credential — origin, RP-ID, challenge,… 542 1d ago curvy-bindings cargo 0.1.0-rc.8 clean Alloy bindings and deterministic deployment helpers for Curvy v2 contracts 538 2d ago tidas-runtime cargo 0.3.4 clean Bounded queues, cancellation, memory budgets, and deterministic spooling for TIDAS 537 21h ago molframe-engine cargo 0.5.2 clean Typed workflow compilation and deterministic execution for MolFrame 515 2d ago fgf cargo 3.0.0 clean Faster Galois Fields: SIMD and portable finite-field arithmetic (binary towers and prime fields) and vector kernels 500 1d ago polyc-tool-search cargo 2026.10.1 clean Deterministic, field-weighted lexical retrieval over the version-keyed tool catalog: the ranking index behind shortlist advertisement and its CI-gating… 494 1d ago rust-samp-codegen cargo 1.6.0-rc.4 clean Proc macros (`#[native]`, `initialize_plugin!`, `#[derive(SampPlugin)]`) for the `rust-samp` SDK. Generates the FFI boilerplate that turns Rust methods into… 490 2d ago nachalnik cargo 0.9.0 clean A minimal, transparent agent runtime: context, tools, permissions and execution as explicit, user-controllable state. 478 1d ago salib-core cargo 0.3.0 clean Foundational types for salib: Problem, Factor, Distribution, RngState(multi-stream ChaCha20), and bit-deterministic tree reductions. 475 23h ago alice-physics cargo 2.0.0 clean Deterministic 128-bit Fixed-Point Physics Engine 464 5h ago loom-rs cargo 0.5.0 clean Weaving threads together - A bespoke thread pool runtime combining tokio and rayon with CPU pinning capabilities 459 2h ago tidas-conversion cargo 0.3.4 clean Deterministic bidirectional TIDAS JSON and eILCD XML conversion 453 21h ago boon-proto cargo 0.4.11094174+6759 clean Protobuf definitions for Deadlock demo files 431 1d ago rust-samp cargo 3.6.0-rc.4 clean Write SA-MP and open.mp plugins in safe Rust instead of C++. A single binary runs natively on both servers, with proc macros (`#[native]`,… 428 2d ago hel cargo 0.3.1 clean HEL — Heuristic Expression Language: a deterministic, auditable expression language & parser, AST, builtin registry and evaluator. 417 7h ago wai-quantum cargo 0.3.36 clean A deterministic quantum stack in pure Rust: byte-exact circuit simulation (statevector / stabilizer / tensor-network MPS / sparse-Pauli backends), sparse Pauli… 413 2d ago sessionwiki cargo 0.33.1 clean Find, search, and read every AI coding session you've ever had - across Claude Code, Codex, Gemini CLI, OpenCode, Cline, and more. 408 1d ago rusty_rtos_port cargo 0.3.2 clean The FreeRTOS ports remade in Rust: the deterministic sim port (the oracle harness), the Posix host port, and the Cortex-M, RISC-V and Xtensa ports — the only… 377 3d ago dernged cargo 0.1.0 clean Deterministic random number generator 374 6h ago ruintegrate cargo 0.1.52 clean Host FP64 finite/infinite quadrature, RK45/BDF1 ODEs and event location 374 4h ago orcher-proto cargo 0.1.2 clean Protocol definitions for ORCHER orchestration platform 373 6h ago agentic-workspace-core cargo 1.12.0 1 vulnerability 1 Shared deterministic semantic core for Agentic Workspace 362 1d ago sprocket-test-types cargo 0.2.1 clean Type definitions for Sprocket test YAML files. 356 14h ago dstest cargo not built 0.2.4 did not build Deterministic Simulation Testing for containerised services 351 6h ago dengjen-tts cargo 2.1.1 2 detections 2 Speech synthesis orchestration engine combining neural TTS model backends with audio post-processing 333 14h ago everruns-drivers cargo 0.44.0 clean Model vendor drivers for Everruns: Anthropic, OpenAI, Gemini, Bedrock, OpenRouter and more 328 9h ago heides cargo 0.32.0 clean HEIDES: the code nervous system. A deterministic harness that gives AI agents senses, memory and judgment for code. 309 1d ago exocortex-kernel cargo 0.5.0 clean Ontology kernel for Exocortex: memory/relationship types, provenance, visibility, validators, and the deterministic fingerprint. Zero I/O. 304 1d ago execsurface-baseline cargo 1.0.0 clean Deterministic baseline lockfile for AETHER X ExecSurface 300 14m ago playr cargo not built 0.18.0 did not build A minimal TUI music player that plays local files and contacts nothing 295 1d ago 