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/

baxtree

Read, write and segment WebVTT caption files in Python.

glut23

Formally prove properties of Haskell programs using SBV/SMT.

LeventErkok

A bioinformatics tool for analyzing somatic hypermutation

Matthew-Mosior