Summary: Benchmark - VV0180_vericoded.rs

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

Summary: Benchmark - VV0181_vericoded.rs

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

Summary: Benchmark - VV0182_vericoded.rs

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

Summary: DafnyySofiaNov26

Summary: TreuRust_Sofia

Repo: https://github.com/sofia-lanfri/test_true/tree/main/src

Summary: Test

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

Summary: Test

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

Summary: Verus CLI Armin Test

Repo: https://github.com/avrevic/dalek-lite-fork

Summary: CLI test 23.2.2026

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

Summary: Test 24.2.2026

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

Summary: Dalek Verus

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

Summary: Libsignal

Repo: https://github.com/signalapp/libsignal/

Summary: pmemlog CLI 0.2.1

Repo: https://github.com/sofia-lanfri/pmemlog

Summary: SL_LEAN_ZIP

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

Summary: IronKV

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

Summary: Verified Storage :: pmemlog

Repo: https://github.com/microsoft/verified-storage