sbv
Here are 9 public repositories matching this topic...
Automatically synchronize and translate subtitles, or create new ones by transcribing, using pre-trained DNNs, Forced Alignments and Transformers.https://subaligner.readthedocs.io/
- Updated
Feb 10, 2026 - Python
Formally prove properties of Haskell programs using SBV/SMT.
- Updated
Jan 12, 2026 - Haskell
A bioinformatics tool for analyzing somatic hypermutation
- Updated
Feb 10, 2024 - Haskell
Read Youtube .SBV caption files and convert to JSON, text, or HTML
- Updated
Jun 23, 2018 - JavaScript
Web tools to generate subtitles from text with placed time tags
- Updated
Jul 28, 2022 - JavaScript
subly - webvtt, ttml, subrip, sbv, json, substationalpha subtitle converter
- Updated
May 4, 2018 - PHP
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.
- Updated
Apr 10, 2021 - Haskell
Improve this page
Add a description, image, and links to thesbv topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with thesbv topic, visit your repo's landing page and select "manage topics."