catamorphism

Here are 4 public repositories matching this topic...

functionalland / functional

Common Functional Programming Algebraic data types for JavaScript that is compatible with most modern browsers and Deno.

task functional browser functional-programming fold io-monad algebraic-data-types functor category-theory monoid maybe either either-monad task-monad maybe-monad catamorphism deno denoland

Updated Jun 10, 2021
JavaScript

pwm / treegami

Star

A small library for mapping and folding trees.

tree-folding catamorphism anamorphism

Updated Oct 24, 2018
PHP

sjqtentacles / sml-recscheme

Sponsor

Star

Recursion schemes (cata/ana/para/hylo) over functor fixpoints in pure Standard ML

functional-programming sml recursion-schemes standard-ml mlton polyml catamorphism hylomorphism

Updated Jul 11, 2026
Standard ML

Horner's method as universal fold: polynomial evaluation, tuple encoding, and fold/unfold duality across Lisp dialects (Guile, Chez, Racket, Clojure, Janet, Elisp) with formal verification in Alloy, TLA+, and Lean4

Updated Jun 26, 2026
Tree-sitter Query

Add this topic to your repo

To associate your repository with the catamorphism topic, visit your repo's landing page and select "manage topics."

Learn more

Navigation Menu