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 1d ago molframe-engine cargo 0.5.2 clean Typed workflow compilation and deterministic execution for MolFrame 515 2d 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 salib-core cargo 0.3.0 clean Foundational types for salib: Problem, Factor, Distribution, RngState(multi-stream ChaCha20), and bit-deterministic tree reductions. 475 1d ago alice-physics cargo 2.0.0 clean Deterministic 128-bit Fixed-Point Physics Engine 464 8h ago tidas-conversion cargo 0.3.4 clean Deterministic bidirectional TIDAS JSON and eILCD XML conversion 453 1d ago ic-blob-storage cargo 0.17.2 clean Independent blob-storage service library for Internet Computer canisters 444 22h ago minip2p-relay-server cargo 0.7.4 clean Deterministic sans-I/O Circuit Relay v2 server for minip2p 426 1d ago hel cargo 0.3.1 clean HEL — Heuristic Expression Language: a deterministic, auditable expression language & parser, AST, builtin registry and evaluator. 417 10h 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 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 9h ago agentic-workspace-core cargo 1.12.0 1 vulnerability 1 Shared deterministic semantic core for Agentic Workspace 362 1d ago dstest cargo not built 0.2.4 did not build Deterministic Simulation Testing for containerised services 351 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 3h ago cratefield-manifest cargo 0.3.1 clean The venture manifest and deterministic Rust composition generator for Cratefield 293 2d ago turbojev-prompt cargo 0.31.0 clean Deterministic prompt contract for TurboJev decision backends 291 14h ago execsurface-diff cargo 1.0.0 clean Deterministic policy-free execution-surface diff engine for AETHER X ExecSurface 288 3h ago ic-dbms-client cargo 0.10.0 clean ic-dbms-canister client library for interacting with the ic-dbms-canister. 287 17h ago tidas-release cargo 0.3.4 clean Deterministic TIDAS and eILCD release closure and package construction 282 16h ago tidas-export cargo 0.3.4 clean Bounded PostgreSQL and S3-compatible deterministic TIDAS export pipelines 275 16h ago execsurface-policy cargo 1.0.0 clean Deterministic policy and verdict engine for AETHER X ExecSurface 269 3h ago iron-diff-cad cargo 0.9.0 clean Deterministic numeric diff of two uncad-model drawing states: the exact set of changes, by how much, with an explicit tolerance. 261 1d ago ikigai-ledger cargo 0.4.2 clean The work ledger for ikigai: NAMED ledgers — one named graph and one capability each — holding items, comments, labels, links and claims as RDF in a durable… 258 11h ago execsurface-normalize cargo 1.0.0 1 detection 1 Deterministic canonicalization for AETHER X ExecSurface 254 3h ago pocket-ic-harness cargo 16.0.0 clean A test harness for Internet Computer canisters using PocketIC. 246 1d ago crabka-playground cargo 0.3.9 clean WebAssembly bindings driving Crabka's deterministic KRaft consensus simulator in the browser 244 1d ago 