Upload Code

The open-source library for

formally verified code

Showing 1725 results
Sort by
Rust Locked
Repo

Summary: Benchmark - VV0038_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4912
Rust Locked
Repo

Summary: Benchmark - VT0605_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4889
Rust Locked
Repo

Summary: Benchmark - VT0568_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4865
Rust Locked
Repo

Summary: Benchmark - VT0518_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4842
Rust Locked
Repo

Summary: Benchmark - VV0149_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4958
Rust Locked
Repo

Summary: Benchmark - VT0472_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4819
Rust Locked
Repo

Summary: Benchmark - VT0447_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4808
Rust Locked
Repo

Summary: Benchmark - VV0065_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4924
Rust Locked
Repo

Summary: Benchmark - VT0655_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4901
Rust Locked
Repo

Summary: Benchmark - VT0590_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4878
Rust Locked
Repo

Summary: Benchmark - VT0541_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4854
Rust Locked
Repo

Summary: Benchmark - VT0495_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4831
Rust Locked
Repo

Summary: Benchmark - VV0122_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4947
Rust Locked
Repo

Summary: Benchmark - VT0475_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4820
Rust Locked
Repo

Summary: Benchmark - VV0171_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4968
Load more Results