Projects

Projects

Updated 6 months ago

stablesort • Science 67%

Stable sort algorithms and their stability proofs in Rocq

coq insertion-sort mathcomp mergesort sorting-algorithms ssreflect

Updated 6 months ago

pucminas-aeds2-assignments • Science 44%

Content developed throughout the Data Structures and Algorithms II course in the second semester of the Computer Science program at PUC Minas, including exercises, activities, and other implementations.

algorithms binary-search binary-tree bubble-sort c data-structures heap-sort insertion-sort java list queue quicksort radix-sort searching-algorithms selection-sort sequential-search sorting-algorithms stack

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

stablesort • Science 67%

pucminas-aeds2-assignments • Science 44%