Summary: SparsePostQuantumRatchet-verify

Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify

Summary: pmemlog — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/pmemlog_with_callgraph

Summary: PQXDH — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/PQXDH

Summary: ironkv — certified snapshot

Repo: https://github.com/verus-lang/verified-ironkv

Summary: lean-zip — certified snapshot

Repo: https://github.com/kim-em/lean-zip

Summary: lean-zip

Repo: https://github.com/kim-em/lean-zip

Summary: curve25519-dalek-lean-verify — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Summary: Verilib_Dalek_Aeneas

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Summary: SL_VP_LEAN_ZIP_002

Repo: https://github.com/kim-em/lean-zip

Summary: Vest

Repo: https://github.com/secure-foundations/vest/tree/main/vest

Summary: Dalek Verus Latest — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus

Summary: libsignal-verify

Repo: https://github.com/Beneficial-AI-Foundation/libsignal-verify

Summary: curve25519-dalek-lean-verify

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify

Summary: Dalek Verus — certified snapshot

Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus

Summary: IronKV — certified snapshot

Repo: https://github.com/verus-lang/verified-ironkv

Summary: IronKV

Repo: https://github.com/verus-lang/verified-ironkv