kat
Here are 13 public repositories matching this topic...
Kleene Algebra with Tests (KAT) and Brzozowski automata
-
Updated
May 13, 2026 - OCaml
A transparent ONT bacterial assembly case study for an *Acinetobacter* barcode07 isolate, built not only to generate an assembly, but to show how raw reads become an interpretable genome through QC evidence, assembler comparison, graph checks, phylogeny, annotation, documented decisions, and honest limitations.
-
Updated
Mar 26, 2026 - HTML
Implements a set of CSS3 learning samples (including the vintage cat clock).
-
Updated
Nov 13, 2024 - HTML
Improve this page
Add a description, image, and links to the kat topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the kat topic, visit your repo's landing page and select "manage topics."