Projects with CITATION.cff

Updated 10 months ago

gtfsort • Rank 12.3 • Science 67%

a lexicographically-based GTF/GFF sorter

algorithms bioinformatics gtf sorting sorting-algorithms

Updated 10 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

Updated 10 months ago

stablesort • Science 67%

Stable sort algorithms and their stability proofs in Rocq

coq insertion-sort mathcomp mergesort sorting-algorithms ssreflect

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

gtfsort • Rank 12.3 • Science 67%

pucminas-aeds2-assignments • Science 44%

stablesort • Science 67%