Summary: Bignums 20250604 1754
Dafny 1470 lines
Type: 📄
Verified: ❌
File: Bignums 20250604 1754
Download Code
View Code
Summary: Binary search
Dafny 22 lines
Type: 📄
Verified: ❌
File: 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
Summary: addition of numbers using for and while loops
Dafny 39 lines
Type: 📄
Verified: ✅
File: addition of numbers using for and while loops
Download Code
View Code
Summary: Calculates the sum of the first n natural numbers.
Dafny 16 lines
Type: 📄
Verified: ✅
File: Calculates the sum of the first n natural numbers.
Download Code
View Code
Summary: TwoFunctionsSofia
Dafny 16 lines
Type: 📄
Verified: ✅
File: TwoFunctionsSofia
Download Code
View Code
Summary: Max's BigNum package
Dafny 277 lines
Type: 📄
Verified: ❌
File: Max's BigNum package
Download Code
View Code
Summary: Bignums - Demo
Dafny 276 lines
Type: 📄
Verified: ❌
File: Bignums - Demo
Download Code
View Code
Summary: Matrix String Operations in Dafny
Dafny 171 lines
Type: 📄
Verified: ❌
File: Matrix String Operations in Dafny
Download Code
View Code
Summary: Quicksort
RefinedC 13 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/quicksort_solution
Download Code
View Code
Summary: t01_basic
RefinedC 19 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/t01_basic
Download Code
View Code
Summary: t02_evars
RefinedC 15 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/t02_evars
Download Code
View Code
Summary: t07_arrays
RefinedC 13 files
Type: 🗄️
Verified: ❌
Repo: https://github.com/toloraia/t07_arrays
Download Code
View Code
