Explore projects

An Agda development of set theory inside homotopy type theory.

IsoTrotter code and sample data.

Whole genome bisulfite complete pipeline ready for Azure. Includes mitochondrial special strategies.

Curated applications for Kubernetes