Upload Code

The open-source library for

formally verified code

Showing 1725 results
Sort by
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 - 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 - VV0171_vericoded.rs

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

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

Summary: Benchmark - VV0112_vericoded.rs

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

2 files Updated Nov 19, 2025 ID: 4945
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 - VT0603_vericoded.rs

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

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

Summary: Benchmark - VT0567_vericoded.rs

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

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

Summary: Benchmark - VT0517_vericoded.rs

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

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

Summary: Benchmark - VV0148_vericoded.rs

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

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

Summary: Benchmark - VT0469_vericoded.rs

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

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