Skip to content
Open-Source Registry

Search 39 packages

Found
Build behaviour
Packages31–39 of 39VersionFindingsDescriptionDownloadsWhen
flight_tape cargo0.1.6clean Flight recorder for autonomous systems: bounded hash-chained decision tape, freeze-on-incident into signed bundles, offline verify and replay1022d ago
wickra-proof-cli cargo0.2.0clean Reference command-line prover/verifier over wickra-proof-core: fold a (spec, data) pair into a deterministic backtest report and canonical hash, and verify a…662d ago
hlin-identity cargo0.1.1clean Mint and verify the identity Hlin forwards to platforms631d ago
ic-multisig cargo0.2.0clean K-of-N approvals over a hashed subject: policy, ballots, tally, optional signatures. For Internet Computer canisters and the clients that verify them.602d ago
lingara-apps cargo0.1.0-alpha.6clean The official Lingara app kit for Rust: verify, decode and answer the relay's signed requests with a card.351d ago
jiayang cargo0.2.0clean Verify who is calling your Jiayang Cloud app.261d ago
ros-madair-format cargo0.1.0-alpha.17clean The Rós Madair static-artifact FORMAT: manifest contract types + attestation verify, shared by the writer and readers (WASM-buildable)191d ago
touchstone-cli cargo0.1.1clean The touchstone binary: run the conformance battery, sign and verify attestations192d ago
fileroom cargo0.2.0clean Read and verify records under the Slipcase Records Profile: records, hold matters, aggregations, the disposition register, and the retention schedule723h ago