VeriLib

Rust

Verus

Summary: Libsignal

Repo: https://github.com/signalapp/libsignal/

@baifdemoa 1489 files Jun 8, 2026 ID: 5051

Lean

Lean Verified ✓

Summary: Benchmark - LV0133_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 4097

Rust

Verus

Summary: Benchmark - VT0124_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4648

Lean

Lean Verified ✓

Summary: Benchmark - LC0008_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3759

Rust

Verus

Summary: Benchmark - VV0140_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4955

Rust

Verus

Summary: Benchmark - VD0561_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4310

Lean

Lean Verified ✓

Summary: Benchmark - LJ0097_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3972

Rust

Verus

Summary: Benchmark - VT0062_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4617

Lean

Lean Verified ✓

Summary: Benchmark - LA0403_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3634

Rust

Verus

Summary: Benchmark - VD0187_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4279

Rust

Verus

Summary: Benchmark - VT0494_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4830

Lean

Lean Verified ✓

Summary: Benchmark - LJ0038_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3941

Rust

Verus

Summary: Benchmark - VJ0082_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4492

Rust

Verus

Summary: Benchmark - VA0487_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4154

Rust

Verus

Summary: Benchmark - VT0422_vericoded.rs

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

@baifdemoa 2 files Jun 8, 2026 ID: 4799

Lean

Lean Verified ✓

Summary: Benchmark - LA0295_vericoded.lean

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

@baifdemoa 3 files Jun 8, 2026 ID: 3603