Pinned Loading

1. COMBINE-lab/cuttlefish COMBINE-lab/cuttlefish Public

   Building the compacted de Bruijn graph efficiently from references or reads.

   C++ 85 9

2. splatlab/mantis splatlab/mantis Public

   Mantis: A Fast, Small, and Exact Large-Scale Sequence-Search Index

   C++ 81 20

3. CaPS-SA CaPS-SA Public

   Cache-friendly, Parallel, and Samplesort-based Constructor for Suffix Arrays and LCP Arrays

   C++ 10 4

4. key-value-collator key-value-collator Public

   Collate collections of key-value pairs, deposited from multiple producers; and iterate over the collated collection.

   C++

5. Formal-Verification-of-Bubble-Sort Formal-Verification-of-Bubble-Sort Public

   Formal Verification of the Correctness of a Bubble Sort Implementation Using Coq

   Coq 3

6. CMake-Playground CMake-Playground Public

   Playing around with and getting to know CMake.

   CMake