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
