mathemage/htools
Haskell Tools for solving various problems and contests
Library for matrix containers (with LUP and QR factorization)
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Haskell Tools for solving various problems and contests
My bachelor thesis on separation axioms in the context of pointless topology