Pinned Loading

1. Short-Query-DNA-Screener Short-Query-DNA-Screener Public

   AIxBio Hackathon Project: A gradient-boosting classifier for fast, short-read DNA threat detection. Uses a hybrid DNA/protein k-mer approach and reverse-screening post-filters to accurately identif…

   Jupyter Notebook

2. SIM-Sinusoidal-Pattern-Generator SIM-Sinusoidal-Pattern-Generator Public

   SIM Pattern Generator is a ImageJ plugin tool for generating sinusoidal structured illumination microscopy (SIM) patterns.

   Java

3. Specmut Specmut Public

   Secure Program Synthesis Hackathon Project: Specification mutation testing, a semantic-tightness metric (τ) for formal specifications in first-order logic and Lean, plus an experiment on mutation-g…

   Rust

4. Lean-Proof-of-Exact-DNA-Alignment-Correctness Lean-Proof-of-Exact-DNA-Alignment-Correctness Public

   Lean 4 formalization proving that a recursive edit-distance traceback algorithm returns a globally optimal DNA alignment path over the edit grid.

   Lean