rrnewton/yoko
generic programming with disbanded data types
A TLS library for GHC Haskell.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
generic programming with disbanded data types
A powerful but simple library for measuring the performance of Haskell code.
Examples of Dependently-typed programs in Haskell
An ultrafast memory-efficient short read aligner