Summary: Dalek Verus upload submission - 07/13/2026, 08:22:39 AM — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: curve25519-dalek-lean-verify upload submission - 07/13/2026, 08:23:02 AM
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify
Summary: pmemlog_with_callgraph upload submission - 07/13/2026, 08:22:52 AM
Repo: https://github.com/Beneficial-AI-Foundation/pmemlog_with_callgraph
Summary: SparsePostQuantumRatchet-verify upload submission - 07/13/2026, 08:22:39 AM
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: Dalek Verus upload submission - 07/13/2026, 08:22:39 AM
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: PQXDH upload submission - 07/13/2026, 08:22:38 AM
Repo: https://github.com/Beneficial-AI-Foundation/PQXDH
Summary: verified-ironkv (ironsht) upload submission - 07/13/2026, 08:22:38 AM
Repo: https://github.com/Beneficial-AI-Foundation/verified-ironkv
Summary: Dalek Verus upload submission - 07/10/2026, 04:26:15 PM
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: SPQR
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: dalek-verus
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: SparsePostQuantumRatchet-verify upload submission - 06/08/2026, 05:48:34 PM — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: SparsePostQuantumRatchet-verify upload submission - 06/08/2026, 05:48:34 PM
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: Dalek Verus upload submission - 06/08/2026, 05:48:14 PM
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: lean-zip upload submission - 06/08/2026, 05:47:09 PM
Repo: https://github.com/kim-em/lean-zip
Summary: nasa jpl test — certified snapshot
Repo: https://github.com/nasa-jpl/L4YAML
