Stars
syncmer graphs, and perhaps other sorts of sequence graphs
A toolkit for quality control & adjustment of nucleotide redundancy in bacterial pan-genome analyses
Explore 5,000+ genomes in the terminal. Light, blazing fast 🚀, vim-motion.
An efficient CLI to extract sequences from the SRA
🎣 - go fishing for ancient antibiotic resistance in public databases
Embedding-based indexing for compact storage, rapid querying, and curation of bacterial pan-genomes
Adaptive sampling client for nanopore devices; a streamy relative of Readfish
Compute bottom-s sketches and s-buckets sketches, using simd-minimizers crate.
SplineSketch: a new quantile sketch with uniform error guarantees and high accuracy in practice
🧮 🔢 Generate multi-sample k-mer count matrix from WGS
XGBoost implementation for bacteria family identification
A tool to detect acquired AMR genes directly from long read sequencing data.
[NeurIPS 2022] Towards Robust Blind Face Restoration with Codebook Lookup Transformer
Cdbgtricks is a modular tool for updating a compacted de Bruijn Graph.
Compute hash digests for DNA sequences in a FASTA file
LexicMap: efficient sequence alignment against millions of prokaryotic genomes
Approximate nearest neighbour search for microbial genomes based on hash metric
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…