Summary: libsignal-verify
Repo: https://github.com/Beneficial-AI-Foundation/libsignal-verify
Summary: pmemlog — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/pmemlog_with_callgraph
Summary: IronKV
Repo: https://github.com/verus-lang/verified-ironkv/tree/main/ironsht
Summary: PQXDH — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/PQXDH
Summary: cedar-lean
Repo: https://github.com/cedar-policy/cedar-spec/tree/main/cedar-lean
Summary: ironkv — certified snapshot
Repo: https://github.com/verus-lang/verified-ironkv
Summary: Dalek Verus Latest — certified snapshot — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: SparsePostQuantumRatchet-verify — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: lean-zip — certified snapshot
Repo: https://github.com/kim-em/lean-zip
Summary: Dalek Verus Latest — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: SparsePostQuantumRatchet-verify
Repo: https://github.com/Beneficial-AI-Foundation/SparsePostQuantumRatchet-verify
Summary: Dalek Verus Latest — certified snapshot — certified snapshot
Repo: https://github.com/Beneficial-AI-Foundation/dalek-verus
Summary: curve25519-dalek-lean-verify
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek-lean-verify
Summary: Benchmark - LD0127_vericoded.lean
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - VD0754_vericoded.rs
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-verus-benchmark
Summary: IronKV — certified snapshot
Repo: https://github.com/verus-lang/verified-ironkv
