Upload Code

The open-source library for

formally verified code

Showing 65–80 of 1,781
Sort by
Rust
View
Verus

Summary: Test

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

@baifdemoa 621 files Jun 17, 2026 ID: 5036
Rust
View
Verus

Summary: Test

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

@baifdemoa 183 files Jun 17, 2026 ID: 5035
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: Benchmark - VV0182_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4979
Rust
View
Verus

Summary: Benchmark - VV0181_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4978
Rust
View
Verus

Summary: Benchmark - VV0180_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4977
Rust
View
Verus

Summary: Benchmark - VV0179_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4976
Rust
View
Verus

Summary: Benchmark - VV0178_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4975
Rust
View
Verus

Summary: Benchmark - VV0177_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4974
Rust
View
Verus

Summary: Benchmark - VV0176_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4973
Rust
View
Verus

Summary: Benchmark - VV0175_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4972
Rust
View
Verus

Summary: Benchmark - VV0174_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4971
Rust
View
Verus

Summary: Benchmark - VV0173_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4970
Rust
View
Verus

Summary: Benchmark - VV0172_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4969
Rust
View
Verus

Summary: Benchmark - VV0171_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4968