Summary: #100 test

Rust 66 files

ID: 62513

Type: 🗄️

Verified: ❌

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

Published: 09/15/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalek_d

Rust 66 files

ID: 62381

Type: 🗄️

Verified: ❌

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

Published: 09/15/2025

Download Code

View Code

Edit Code

Summary: curve25519-dalekSep15_c

Rust 66 files

ID: 62315

Type: 🗄️

Verified: ❌

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

Published: 09/15/2025

Download Code

View Code

Edit Code

Summary: BPTree-verif_tmp_tmpq1z6xm1d_Utils_GetInsertIndex.dfy

Dafny 154 lines

ID: 62116

Type: 📄

Verified: ❌

Package: BPTree-verif_tmp_tmpq1z6xm1d_Utils_GetInsertIndex.dfy

Published: 09/10/2025

Download Code

View Code

Edit Code

Summary: 630-dafny_tmp_tmpz2kokaiq_Solution_BinarySearch.dfy

Dafny 20 lines

ID: 62115

Type: 📄

Verified: ❌

Package: 630-dafny_tmp_tmpz2kokaiq_Solution_BinarySearch.dfy

Published: 09/10/2025

Download Code

View Code

Edit Code

Summary: vericoding-verus-benchmark-sofia

Rust 4 files

ID: 62112

Type: 🗄️

Verified: ❌

Repo: https://github.com/sofia-lanfri/vericoding-verus-benchmark-sofia

Published: 09/10/2025

Download Code

View Code

Edit Code

Summary: vericoding-verus-benchmark-sofia-1

Rust 2 files

ID: 62114

Type: 🗄️

Verified: ❌

Repo: https://github.com/sofia-lanfri/vericoding-verus-benchmark-sofia

Published: 09/10/2025

Download Code

View Code

Edit Code

Summary: DafnyGoodSofiaSep8.dfy

Dafny 2122 lines

ID: 62086

Type: 📄

Verified: ❌

Package: DafnyGoodSofiaSep8.dfy

Published: 09/08/2025

Download Code

View Code

Edit Code

Summary: Dafny bignums, whole repo

Dafny 15 files

ID: 11367

Type: 🗄️

Verified: ❌

Repo: https://github.com/Beneficial-AI-Foundation/dafny-bignums

Published: 09/04/2025

Download Code

View Code

Edit Code

Summary: Test 20250904

Rust 2 files

ID: 39537

Type: 🗄️

Verified: ✅

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

Published: 09/04/2025

Download Code

View Code

Edit Code

Summary: generated verus binary search

Rust 2 files

ID: 39535

Type: 🗄️

Verified: ✅

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

Published: 09/04/2025

Download Code

View Code

Edit Code

Summary: test verus false baz

Rust 2 files

ID: 39514

Type: 🗄️

Verified: ✅

Repo: https://github.com/Beneficial-AI-Foundation/test_verus_baz

Published: 09/04/2025

Download Code

View Code

Edit Code

Summary: Human Eval task 130

Dafny 52 lines

ID: 39533

Type: 📄

Verified: ✅

Package: Human Eval task 130

Published: 09/03/2025

Download Code

View Code

Edit Code

Summary: Human Eval task 90

Dafny 95 lines

ID: 39532

Type: 📄

Verified: ✅

Package: Human Eval task 90

Published: 09/03/2025

Download Code

View Code

Edit Code

Summary: 20250903 Lean

Lean 2 lines

ID: 39515

Type: 📄

Verified: ❌

Package: 20250903 Lean

Published: 09/03/2025

Download Code

View Code

Edit Code