Upload Code
Home / sofia.lanfri.vgb

sofia.lanfri.vgb

@sofia.lanfri.vgb

28 repositories

Showing 17–28 of 28
Sort by
Lean
View
Lean

Summary: nasa jpl test

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

@sofia.lanfri.vgb 3331 files Jun 17, 2026 ID: 5189
Rust
View
Verus

Summary: pmemlog CLI 0.2.1

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

@sofia.lanfri.vgb 11 files Jun 17, 2026 ID: 5057
Rust
View
Rust

Summary: TreuRust_Sofia

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

@sofia.lanfri.vgb 2 files Jun 17, 2026 ID: 5018
Dafny
View
Dafny Verified ✓

Summary: DafnyySofiaNov26

@sofia.lanfri.vgb 2,176 lines Jun 8, 2026 ID: 5012
Rust
View
Verus

Summary: LibsignalAug11

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

@sofia.lanfri.vgb 675 files Jun 17, 2026 ID: 3018
Rust
View
Rust Verified ✓

Summary: NO AUTOMIZATION - NO GRAPH LibSignalRust

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

@sofia.lanfri.vgb 640 files Jun 17, 2026 ID: 2966
Rust
View
Rust Verified ✓

Summary: LibSignalRust_Sofia

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

@sofia.lanfri.vgb 640 files Jun 17, 2026 ID: 2960
Rust
View
Rust Verified ✓

Summary: Sofia Testing Rust Libsignal App

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

@sofia.lanfri.vgb 637 files Jun 17, 2026 ID: 2944
Rust
View
Rust Verified ✓

Summary: LibSignal

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

@sofia.lanfri.vgb 637 files Jun 17, 2026 ID: 2941
Rust
View
Rust Verified ✓

Summary: RustLibSignal

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

@sofia.lanfri.vgb 637 files Jun 17, 2026 ID: 2940
Rust
View
Dafny Verified ✓

Summary: Rust Signal Github Sofia

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

@sofia.lanfri.vgb 622 files Jun 17, 2026 ID: 2872
Rust
View
Dafny

Summary: RustSignalMay15Sofia

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

@sofia.lanfri.vgb 622 files Jun 17, 2026 ID: 2845