sofia.lanfri.vgb

Summary: LibsignalAug11

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: Dalek Verus upload submission - 06/08/2026, 05:48:14 PM

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

Summary: SparsePostQuantumRatchet-verify upload submission - 06/08/2026, 05:48:34 PM

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

Summary: lean-zip upload submission - 06/08/2026, 05:47:09 PM

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

Summary: LibSignalRust_Sofia

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: RustSignalMay15Sofia

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: TreuRust_Sofia

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

Summary: RustLibSignal

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: nasa jpl test

Repo: https://github.com/nasa-jpl/L4YAML

Summary: Sofia Testing Rust Libsignal App

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: NO AUTOMIZATION - NO GRAPH LibSignalRust

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: DafnyySofiaNov26

Summary: Rust Signal Github Sofia

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: pmemlog CLI 0.2.1

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

Summary: LibSignal

Repo: https://github.com/signalapp/libsignal/tree/main/rust

Summary: nasa jpl test — certified snapshot

Repo: https://github.com/nasa-jpl/L4YAML