plaidfinch/binomial-heaps
Binomial heaps with GADT-enforced shape constraints.
Public GitHub Catalog
Discovered Sep 29, 2026
plaidfinch / ProseDiff
Work in progress on a semantically-aware diff tool for natural-language (e.g. English) prose.
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.
#15413737GitHub System ID
plaidfinchOrganization / User
PublicVisibility
ActiveCatalog Status
More from plaidfinch
plaidfinch/Lazy-Combinatorics
Exploration of how to do fair traversals of simple combinatorial objects (e.g. powerset, cartesian product) in Clojure.
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.