Summary: Test Oliver
Lean 14 files
Type: 🗄️
Verified: ❌
Summary: dalek-lite for Alex
Rust 82 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek
Summary: Lean test 20251015
Lean 4 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/vericoding-benchmark/tree/main/just_LB0052
Summary: Dafny_simple_sofia.dfy
Dafny 74 lines
Type: 📄
Verified: ✅
Package: Dafny_simple_sofia.dfy
Summary: SampCert
Lean 113 files
Type: 🗄️
Verified: ✅
Summary: libsignal focus on dalek_lite
Rust 745 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite
Summary: Dafny bignums, 20250612, 1109
Dafny 2124 lines
Type: 📄
Verified: ❌
Package: Dafny bignums, 20250612, 1109
Summary: libsignal focus on dalek_lite
Rust 745 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/libsignal_focus_dalek_lite
Summary: Rust Signal Github Sofia
Rust 622 files
Type: 🗄️
Verified: ❌
Summary: LibsignalAug11
Rust 675 files
Type: 🗄️
Verified: ❌
Summary: Simple Monads
Lean 7 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/leanprover-community/lean4-samples/tree/main/SimpleMonads
Summary: Curve Dalek
Rust 66 files
Type: 🗄️
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite
