Upload Code

The open-source library for

formally verified code

Showing 211–225 of 1,735
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0556_vericoded.rs

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

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

Summary: Benchmark - VV0181_vericoded.rs

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

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

Summary: Benchmark - VT0514_vericoded.rs

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

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

Summary: Benchmark - VV0140_vericoded.rs

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

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

Summary: Benchmark - VT0467_vericoded.rs

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

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

Summary: Benchmark - VV0082_vericoded.rs

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

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

Summary: Benchmark - VV0032_vericoded.rs

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

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

Summary: Benchmark - VT0645_vericoded.rs

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

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

Summary: Benchmark - VT0584_vericoded.rs

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

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

Summary: Benchmark - VT0535_vericoded.rs

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

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

Summary: Benchmark - VT0488_vericoded.rs

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

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

Summary: Benchmark - VT0437_vericoded.rs

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

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

Summary: Benchmark - VV0061_vericoded.rs

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

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

Summary: Benchmark - VV0163_vericoded.rs

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

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

Summary: Benchmark - VV0098_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4942