Summary: curve25519-dalek, 20250724
Rust 117 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek
Download Code
View Code
Summary: libsignal with deps inside3
Rust 991 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/libsignal_with_deps/
Download Code
View Code
Summary: libsignal with deps inside2
Rust 913 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/libsignal_with_deps/
Download Code
View Code
Summary: curve25519-dalek, 20250718, take 3
Rust 115 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek
Download Code
View Code
Summary: curve25519-dalek, 20250718, 1357
Rust 115 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek
Download Code
View Code
Summary: Dalek
Rust 114 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/Beneficial-AI-Foundation/curve25519-dalek
Download Code
View Code
Summary: DafnyGoodSofiaJul15.dfy
Dafny 74 lines
Type: 📄
Verified: ❌
Package: DafnyGoodSofiaJul15.dfy
Download Code
View Code
Summary: RUST_loops_SofiaWithMain
Rust 353 lines
Type: 📄
Verified: ❌
Package: RUST_loops_SofiaWithMain
Download Code
View Code
Summary: RUST_loops_Sofia.rs
Rust 353 lines
Type: 📄
Verified: ❌
Package: RUST_loops_Sofia.rs
Download Code
View Code
Summary: RustSimpleExample
Rust 26 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/flakusha/sorting_rs
Download Code
View Code
Summary: RUSTBignumsSofia
Rust 147 lines
Type: 📄
Verified: ❌
Package: RUSTBignumsSofia
Download Code
View Code
Summary: Dafny bignums, 20250612, 1109
Dafny 2124 lines
Type: 📄
Verified: ❌
Package: Dafny bignums, 20250612, 1109
Download Code
View Code
Summary: ct_is_zero Sofia
Rust 16 lines
Type: 📄
Verified: ❌
Package: ct_is_zero Sofia
Download Code
View Code
Summary: Dafny bignums, 20250612, 1109
Dafny 2124 lines
Type: 📄
Verified: ❌
Package: Dafny bignums, 20250612, 1109
Download Code
View Code
