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
Summary: Arithmetic with arbitrary-size natural numbers represented as bit strings (250619 version)
Dafny 2128 lines
Type: 📄
Verified: ❌
Package: Arithmetic with arbitrary-size natural numbers represented as bit strings (250619 version)
Download Code
View Code
Summary: Long binary string addition in Dafny
Dafny 36 lines
Type: 📄
Verified: ✅
Package: Long binary string addition in Dafny
Download Code
View Code
Summary: libsignal with folders test2
Rust 1342 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/signalapp/libsignal
Download Code
View Code
Summary: Bignums 20250604 1754
Dafny 1470 lines
Type: 📄
Verified: ❌
Package: Bignums 20250604 1754
Download Code
View Code
Summary: New Demo Dfy
Dafny 15 lines
Type: 📄
Verified: ❌
Package: New Demo Dfy
Download Code
View Code
Summary: Binary search
Dafny 22 lines
Type: 📄
Verified: ❌
Package: Binary search
Download Code
View Code
Summary: libsignal_rust_with_short_names
Rust 85 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/BurntSushi/rust-csv
Download Code
View Code
