Formally prove properties of Haskell programs using SBV/SMT.
-
Updated
May 23, 2024 - Haskell
#
sbv
Here are 3 public repositories matching this topic...
A bioinformatics tool for analyzing somatic hypermutation
haskell
bioinformatics
multithreading
biomart
smt-solver
yaml-configuration
sbv
csv-writer
knuth-morris-pratt
linear-types
xml-generator
effect-system
effectful
somatic-hypermutation
-
Updated
Feb 10, 2024 - Haskell
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.
haskell
bioinformatics-scripts
sbv
knuth-morris-pratt
somatic-hypermutation-analysis
ambiguity-codes
-
Updated
Apr 10, 2021 - Haskell
Improve this page
Add a description, image, and links to the sbv topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the sbv topic, visit your repo's landing page and select "manage topics."