kat

the infamous alfred-kat but in Swift because macOS is getting rid of the PHP interpreter.

KAT workflow for Alfred, search and open magnet links directly from Alfred.

A lightweight KAT + XML + JSON library

南博插件

Kleene Algebra with Tests (KAT) and Brzozowski automata

Kleene algebra, KAT, and relation algebra in Lean 4 / Mathlib, with completeness proofs and proof-producing tactics. Based on Damien Pous’s relation-algebra library.

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.

PHP端的 KAT 和 KAT-RPC 框架

Python library to check for obligations/fines to KAT Bulgaria programatically

Node.js端的 KAT 和 KAT-RPC 框架

a little experiment using omdbapi and kat to get movie magnet links

Gamer bio.

Implements a set of CSS3 learning samples (including the vintage cat clock).

Docker container for W2RAP based on CentOS