2772 results
Filter By
Language

Application

Type

Status

2772 results

No ratings

Summary: Quicksort

RefinedC 13 files

ID: 5118

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/quicksort_solution

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t01_basic

RefinedC 19 files

ID: 5146

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t01_basic

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t02_evars

RefinedC 15 files

ID: 5165

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t02_evars

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t07_arrays

RefinedC 13 files

ID: 5221

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t07_arrays

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t08_tree

RefinedC 28 files

ID: 5234

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t08_tree

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t09_switch

RefinedC 13 files

ID: 5262

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t09_switch

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t10_loops

RefinedC 10 files

ID: 5275

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t10_loops

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t11_tree_set

RefinedC 21 files

ID: 5285

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t11_tree_set

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: sum up to n

Coq 14 lines

ID: 4955

Type: 📄

Verified:

File: sum up to n

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: Binary Search

RefinedC 11 files

ID: 5131

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t00_intro

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t03_list

RefinedC 23 files

ID: 5180

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t03_list

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: t06_struct

RefinedC 18 files

ID: 5203

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/t06_struct

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: Calculates triangles numbers (sum of n(n+1)/2)

RefinedC 13 files

ID: 5101

Type: 🗄️

Verified:

Repo: https://github.com/toloraia/triangle_numbers/

Published: 04/15/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: Matrix String Operations in Dafny

Dafny 171 lines

ID: 5143

Type: 📄

Verified:

File: Matrix String Operations in Dafny

Published: 04/11/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code

No ratings

Summary: bignums example

Dafny 287 lines

ID: 5115

Type: 📄

Verified:

File: bignums example

Published: 04/02/2025

Menu Icon Download Code Menu Icon View Code Menu Icon Edit Code