I may be slow to respond.
PhD candidate in CS at University of Maryland, College Park.
Algorithm Engineering and Parallel Algorithms.
-
University of Maryland
- College Park, Maryland
- https://sites.google.com/view/jamshed
- @scarecrow00007
Highlights
- Pro
Pinned Loading
-
COMBINE-lab/cuttlefish
COMBINE-lab/cuttlefish PublicBuilding the compacted de Bruijn graph efficiently from references or reads.
-
splatlab/mantis
splatlab/mantis PublicMantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index
-
key-value-collator
key-value-collator PublicCollate collections of key-value pairs, deposited from multiple producers; and iterate over the collated collection.
C++
-
Formal-Verification-of-Bubble-Sort
Formal-Verification-of-Bubble-Sort PublicFormal Verification of the Correctness of a Bubble Sort Implementation Using Coq
Coq 2
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.