There are 0 repository under sbv topic.
Automatically synchronize and translate subtitles, or create new ones by transcribing, using pre-trained DNNs, Forced Alignments and Transformers. https://subaligner.readthedocs.io/
Formally prove properties of Haskell programs using SBV/SMT.
A bioinformatics tool for analyzing somatic hypermutation
Read Youtube .SBV caption files and convert to JSON, text, or HTML
Web tools to generate subtitles from text with placed time tags
A Haskell script that performs knuth-morris-pratt string search across a region of fasta file for ambiguity codes, and determines whether variants are found in ambiguity codes.