pacta-executor cargo 0.3.3 clean Pacta-native execution abstractions. 717 3d ago retia cargo 0.2.1 clean A general-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms. Rust-only fork of CozoDB. 694 14h ago embedded-cal cargo 0.2.0 clean A Cryptographic Abstraction Layer (CAL) for embedded systems 680 1d ago antecedent-counterfactual cargo 2.2.0 clean Abduction-action-prediction counterfactual evaluation for the Antecedent causal inference engine; start with the `antecedent` crate 672 3d ago gaze-audit cargo 0.16.0 clean Passive audit sinks for Gaze metadata-only redaction logs 659 11h ago inillucent-txn cargo 2.4.2 clean Transactions and MVCC: snapshots, the writer slot, undo buffers, the version log, savepoints and the commit gate 647 1d ago mdt_lsp cargo 0.9.6 clean LSP server for mdt — editor diagnostics, completions, and code actions for markdown templates 641 2d ago aria-agent-sandbox cargo 1.4.1 clean Pluggable sandbox abstraction for the agent platform. Docker (default), Kata, Cube providers. 618 2d ago svod-device cargo 0.2.0 clean Device abstraction layer for the Svod ML compiler 614 2d ago undoc-cli cargo 0.15.0 clean CLI for undoc - Microsoft Office document extraction 610 2d ago arc-malachitebft-signing cargo 0.8.1 clean Signing provider abstraction for the Malachite BFT consensus engine 608 3d ago arc-malachitebft-codec cargo 0.8.1 clean Codec abstraction for the Malachite BFT consensus engine 601 3d ago uqa-engine cargo not built 0.5.2 did not build Engine: schema-aware table store, catalog restore, transactions 587 8h ago ogeom-doc cargo 0.9.15 clean Assemblies, appearance, PMI, transactions and persistence 561 11h ago wasm-dbms-memory cargo 0.10.1 clean Memory abstraction and page management for the wasm-dbms framework 541 2d ago mcpmem-core cargo 3.0.6 clean Transactional SQLite knowledge-graph core for the mcpmem MCP server: entities, relations, observations, FTS5 projections and a durable event outbox. 533 7h ago snapfire_fsr_ir cargo 0.15.2 clean The lowered form of a loader or action body for SnapFire FSR, and the interpreter that runs it over the value model. 500 2d ago kopitiam-semantic cargo 0.2.6 clean Rust knowledge providers (cargo metadata, rust-analyzer, rustdoc JSON) and LSP-backed rename/code-action write support for KOPITIAM's Semantic Runtime. 490 3d ago banken-config cargo 0.1.41 clean banken's typed config surface — ONE struct carrying both faces: `#[tatara(keyword = "defbanken")]` (the Lisp authoring face) and `impl shikumi::TieredConfig`… 472 2d ago banken-spec cargo 0.1.41 clean The postigo action-legality citizenship primitive — a TYPED-SPEC + INTERPRETER triplet for banken (the pleme-io-native k9s). Types are the hard border; the… 468 2d ago polyc-persona-memory-host cargo not built 2026.10.1 did not build Post-turn persona orchestration: memory extraction and the shared pass-agnostic supervisor (#459). 461 2d ago miden-mobile-prover cargo 0.17.1 clean Native Miden transaction prover exposed as a C ABI for embedding in iOS/Android Capacitor plugins. 459 2d ago kcode-k1-web-code-workspace-format cargo 0.2.0 clean Canonical K1 Web code workspace actions and projection 457 3d ago molgfx-gpu cargo 0.5.3 clean The backend-agnostic GPU hardware abstraction: device, queue, encoder and surface traits. 448 3d ago mant-sources cargo 0.10.1 clean Local registry and transactional Git or archive document sources for ManT 446 13h ago ruTENSOR cargo 0.1.73 clean Ruda tensor contractions, reductions, permutations and elementwise operations 440 37m ago kglite-datasets cargo 0.1.26 clean kglite-datasets — standalone extraction of kglite's domain dataset loaders (SEC EDGAR / Sodir / Wikidata): fetch public registries and shape them into kglite… 435 3d ago molgfx-semantic cargo 0.5.3 clean The semantic layer: focus and context, banding, interaction edges, label policy. 432 3d ago borsalino cargo 0.7.0 clean Thin GPU compute abstraction — Metal and Vulkan backends for Industrial Algebra 426 2d ago anoma-rm-solana cargo 2.0.0-rc.6.1 clean Solana engine for Anoma Resource Machine transaction verification (syscall-based) 424 2h ago 