Upload Code

The open-source library for

formally verified code

Showing 1793–1799 of 1,799
Sort by
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
Dafny
View
Dafny

Summary: Dafny bignums, 20250612, 1109

@tegmark 2,124 lines Jun 8, 2026 ID: 2932
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
Rust
View
Dafny Verified ✓

Summary: Testing | small boxes

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

@thinnunu2 622 files Jun 17, 2026 ID: 2843