Summary: curve25519-dalek, 20250827

Rust 64 files

ID: 36040

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 08/27/2025

Download Code

View Code

Edit Code

Summary: Test 20250826

Rust 1860 files

ID: 32081

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/vericoding/tree/main/benchmarks/vericoding_dafny/dafnybench

Published: 08/26/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250826

Rust 53 files

ID: 26486

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 08/26/2025

Download Code

View Code

Edit Code

Summary: RustPassver

Rust 7 lines

ID: 25521

Type: 📄

Verified: ✅

Package: RustPassver

Published: 08/11/2025

Download Code

View Code

Edit Code

Summary: RustDoesNotPass_Sofia

Rust 7 lines

ID: 25522

Type: 📄

Verified: ✅

Package: RustDoesNotPass_Sofia

Published: 08/11/2025

Download Code

View Code

Edit Code

Summary: Verus example 20250811

Rust 5 files

ID: 24533

Type: 🗄️

Verified: ❌

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

Published: 08/11/2025

Download Code

View Code

Edit Code

Summary: Verus example 20250811, 1634

Rust 5 files

ID: 24538

Type: 🗄️

Verified: ❌

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

Published: 08/11/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250811

Rust 137 files

ID: 24528

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 08/11/2025

Download Code

View Code

Edit Code

Summary: Verus example 20250807

Rust 5 files

ID: 24254

Type: 🗄️

Verified: ❌

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

Published: 08/07/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250805

Rust 122 files

ID: 23570

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 08/05/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250804

Rust 121 files

ID: 23327

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 08/04/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250731

Rust 119 files

ID: 23085

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 07/31/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250729, fe5f0e8

Rust 119 files

ID: 22583

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 07/29/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250724, collaborative version

Rust 117 files

ID: 22404

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 07/29/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek, 20250724, take 3

Rust 117 files

ID: 22287

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek

Published: 07/24/2025

Download Code

View Code

Edit Code