Projects

Updated 11 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 11 months ago

aurus • Science 49%

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

automata evolutionary-algorithms formal-methods genetic-algorithm linear-temporal-logic ltl matrix-multiplication owl-api reactive-synthesis sat search-based-software-engineering searching-algorithms strix synthesis

Updated 10 months ago

https://github.com/abrar2652/oist-comparative-genomics • Science 13%

bash-script bioinformatics biopython comparative-genomics genome-analysis matching-algorithm matplotlib-pyplot pairwise-alignment python r searching-algorithms shell-script sorting-algorithms-implemented ucsc-browser

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

pucminas-aeds2-assignments • Science 44%

aurus • Science 49%

https://github.com/abrar2652/oist-comparative-genomics • Science 13%