plaidfinch/data-kiln
Sculpt mutable recursive data with reference equality; bake it using a data kiln into an immutable lazy structure
Developer Profile
plaidfinch
Discovered public repositories for plaidfinch in the GitHub catalog.
plaidfinch/binomial-heaps
Binomial heaps with GADT-enforced shape constraints.
plaidfinch/Lazy-Combinatorics
Exploration of how to do fair traversals of simple combinatorial objects (e.g. powerset, cartesian product) in Clojure.
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.
plaidfinch/Euler14-Optimization
Progressively optimized versions (in Haskell) of a solution to Problem 14 from Project Euler.
plaidfinch/ifold
Indenting fold (ifold) is a replacement for the UNIX fold command, which indents every wrapped line by the same amount that the original line was indented. This is useful, e.g. for converting plain-text documents into other formats.
plaidfinch/Infinitable
Library providing a datatype and instances for possibly-infinite numbers, designed to wrap any unbounded numeric type.
plaidfinch/linkaj
Persistent associative datatypes with more features than Clojure's built-in maps, including bijective maps, key-attribute-value maps, bipartite graphs, and directed graphs with arbitrary node and edge attributes.