plaidfinch/Haskell-Foldl-Library
Composable, streaming, and efficient left folds
Public GitHub Catalog
Discovered Sep 29, 2026
plaidfinch / Catalan-Isomorphisms
Experiments with type-safe encoding and translation of various mathematical objects which are counted by the Catalan numbers, such as Dyck paths, ordered trees, binary trees, and others.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#14479626GitHub System ID
plaidfinchOrganization / User
PublicVisibility
ActiveCatalog Status
More from plaidfinch
plaidfinch/ghcid
Very low feature GHCi based IDE
plaidfinch/PeanoWitnesses
GADT-style type witnesses for the Peano naturals. Useful in dependent-types-ish kind of situations.
plaidfinch/Tape
Bidirectionally infinite streams, akin to the tape of a Turing machine.