Upload Code

The open-source library for

formally verified code

Showing 1725 results
Sort by
Rust Locked
Repo

Summary: Benchmark - VT0497_vericoded.rs

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

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

Summary: Benchmark - VV0126_vericoded.rs

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

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

Summary: Benchmark - VT0477_vericoded.rs

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

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

Summary: Benchmark - VT0422_vericoded.rs

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

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

Summary: Benchmark - VV0173_vericoded.rs

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

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

Summary: Benchmark - VT0523_vericoded.rs

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

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

Summary: Benchmark - VV0039_vericoded.rs

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

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

Summary: Benchmark - VT0630_vericoded.rs

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

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

Summary: Benchmark - VT0571_vericoded.rs

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

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

Summary: Benchmark - VT0520_vericoded.rs

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

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

Summary: Benchmark - VV0151_vericoded.rs

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

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

Summary: Benchmark - VV0088_vericoded.rs

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

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

Summary: Benchmark - VT0450_vericoded.rs

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

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

Summary: Benchmark - VV0067_vericoded.rs

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

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

Summary: Benchmark - VT0658_vericoded.rs

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

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