Summary: Dalek-lite
Rust 716 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite
Summary: pmemlog CLI 0.2.1
Rust 11 files
Verified: ❌
Summary: Libsignal
Rust 1489 files
Verified: ❌
Summary: Dalek Lite
Dafny 127 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/dalek-lite/
Summary: Verus CLI Armin Test
Rust 444 files
Verified: ❌
Summary: Oliver Bignum
Lean 15 files
Verified: ❌
Summary: TreuRust_Sofia
Rust 2 files
Verified: ❌
Repo: https://github.com/sofia-lanfri/test_true/tree/main/src
Summary: Benchmark - LV0181_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0180_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0178_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0176_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0174_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0173_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
Summary: Benchmark - LV0172_vericoded.lean
Lean 3 files
Verified: ✅
Repo: https://github.com/Beneficial-AI-Foundation/vericoded-lean-benchmark
