| rahi-kernel cargo | 0.7.1 | none | none | The governance seam of the rahi chassis: a declared capability manifest, verified at build, enforced at runtime, with every denial ledgered | 647 | 2d ago |
| rahi-ledger cargo | 0.7.1 | none | none | The decision chain of the rahi chassis: hash-linked signed records, a unique-parent CAS append, and full verification at boot | 676 | 2d ago |
| p3-keccak-air cargo | 0.9.0-rc.2 | none | none | AIRs for the Keccak-f permutation, over fields of size between 2^16 and 2^32 or of characteristic 2. | 2M | 2d ago |
| rahi-store cargo | 0.7.1 | none | none | The application store of the rahi chassis: hiqlite in-process with txn, two read calls, migrations, and backup | 712 | 2d ago |
| medius cargo | | – 3.4.6 did not build | – | Host control library for the medius transparent mouse passthrough box | 515 | 2d ago |
| waterkit-notification cargo | 0.2.0 | none | none | System notifications and alerts | 104 | 2d ago |
| waterkit-health cargo | 0.2.0 | none | none | Cross-platform health data access (HealthKit / Health Connect) | 104 | 2d ago |
| runifold-eval-cli cargo | 0.10.3 | none | none | CLI and CI quality gates for Runifold evaluations | 402 | 2d ago |
| lamfold-romfs cargo | 0.1.1 | none | none | no_std clean-room Linux romfs (-rom1fs-) reader — the lamfold minimal-embedded frontend | 119 | 2d ago |
| loftspec-store cargo | 2.1.0 | none | none | Memory and file stores for Loft Specification Format documents | 98 | 2d ago |
| forgelink-cli cargo | 0.3.12 | none | none | CLI for generating shareable URLs to files in hosted git repositories | 505 | 2d ago |
| fmtcnv cargo | 2.4.10 | none | low | Cross-convert bson, csv, hjson, hocon, json, json5, jsonl, plist, ron, toml, toon, xml, yaml | 602 | 2d ago |
| lamfold-iso cargo | 0.1.2 | none | none | no_std clean-room ISO9660 (+Rock Ridge/Joliet/El Torito) reader — the lamfold optical frontend | 120 | 2d ago |
| sandogasa-pkg-health cargo | 0.26.0 | none | none | Audit package health across a sandogasa inventory | 593 | 2d ago |
| binvim cargo | 0.8.5 | none | low | Vim-grammar TUI editor with batteries included — tree-sitter, multi-server LSP, DAP, multi-cursor, sessions, single binary, no plugin system. | 614 | 2d ago |
| coopgame cargo | 0.3.0 | none | none | TU協力ゲームの仁・プレ仁・カーネル・プレカーネルの計算と検証 | 24 | 2d ago |
| simple_impl_core cargo | 0.3.2 | none | none | The semantic models behind simple_impl_derive: what a builder field, a shell field, a composite command and a validation rule mean once their attributes are… | 88 | 2d ago |
| appcore-capabilities cargo | 1.0.4-rc.4 | none | none | Capability registry and resolver contracts for distributed AppCore. | 147 | 2d ago |
| howfastly cargo | | – 2026.1015.0 did not build | – | Measure your connection speed to the Fastly network | 396 | 2d ago |
| scanastudio-proto cargo | 6.0.24 | none | none | The ScanaStudio v6 WebSocket protocol: the contract between the server and every client. | 140 | 2d ago |
| floravox-wasm cargo | 0.1.2 | none | none | The floravox engine in the browser: async synthesis on onnxruntime-web (wasm32) | 24 | 2d ago |
| loftspec cargo | 2.1.0 | none | none | The Loft Specification Format: document model, identity, canonical bytes, hashing and conversion | 118 | 2d ago |
| cargo-anvil cargo | 0.14.1 | none | none | Opinionated, unified Rust build and cloud-workflow scaffolding for GitHub Actions and Azure DevOps | 618 | 2d ago |
| et-test-otlp cargo | 0.2.0 | none | none | OTLP test support: a span emitter, plus flattening helpers over mock-collector's captures | 38 | 2d ago |
| knolo-core-rust cargo | 5.5.1 | none | none | Rust runtime support for verifiable V5 Knowledge Images and compatible .knolo packs | 94 | 2d ago |
| loft-cli cargo | 2.1.0 | none | none | The loft command line: author, check, format, render and publish a specification in a git repository | 73 | 2d ago |
| p3-binary-dft cargo | 0.9.0-rc.2 | none | none | Additive NTT over F_2-linear subspaces of the Plonky3 binary tower fields | 256 | 2d ago |
| leani-testkit cargo | 0.1.0-rc.8 | none | none | Deterministic fixtures and conformance helpers for Leani processors and sources | 41 | 2d ago |
| incr-concurrent cargo | 0.2.0-beta.5 | none | none | Thread-safe incremental computation engine. Send+Sync runtime built on incr-core. | 642 | 2d ago |
| incr-core cargo | 0.2.0-beta.5 | none | none | Shared core for the incr family. Strategy-parameterized incremental computation engine. Used via incr-compute (single-threaded) or incr-concurrent (Send +… | 687 | 2d ago |
