plaidfinch/Lazy-Combinatorics
Exploration of how to do fair traversals of simple combinatorial objects (e.g. powerset, cartesian product) in Clojure.
Public GitHub Catalog
Discovered Sep 30, 2026
plaidfinch / binomial-heaps
Binomial heaps with GADT-enforced shape constraints.
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.
#16876765GitHub System ID
plaidfinchOrganization / User
PublicVisibility
ActiveCatalog Status
More from plaidfinch
plaidfinch/ProseDiff
Work in progress on a semantically-aware diff tool for natural-language (e.g. English) prose.
plaidfinch/ComonadSheet
A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comonads.
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.