Upload Code

The open-source library for

formally verified code

Showing 497–512 of 1,800
Sort by
Rust
View
Verus

Summary: Benchmark - VS0024_vericoded.rs

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

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

Summary: Benchmark - VS0023_vericoded.rs

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

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

Summary: Benchmark - VS0022_vericoded.rs

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

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

Summary: Benchmark - VS0018_vericoded.rs

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

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

Summary: Benchmark - VS0013_vericoded.rs

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

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

Summary: Benchmark - VS0011_vericoded.rs

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

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

Summary: Benchmark - VS0010_vericoded.rs

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

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

Summary: Benchmark - VS0008_vericoded.rs

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

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

Summary: Benchmark - VS0007_vericoded.rs

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

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

Summary: Benchmark - VS0006_vericoded.rs

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

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

Summary: Benchmark - VS0005_vericoded.rs

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

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

Summary: Benchmark - VS0003_vericoded.rs

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

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

Summary: Benchmark - VJ0171_vericoded.rs

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

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

Summary: Benchmark - VJ0170_vericoded.rs

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

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

Summary: Benchmark - VJ0168_vericoded.rs

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

@baifdemoa 2 files Jun 17, 2026 ID: 4556
Rust
View
Verus Verified ✓

Summary: Benchmark - VJ0167_vericoded.rs

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

@baifdemoa 2 files Aug 12, 2026 ID: 4555