Functional-Programming

Building Languages to Solve Problems

When a problem is complex enough, the solution is often to build a language for that problem. SICP's most powerful idea.

Category Theory for Programmers

compositional.mle: SICP-Inspired Optimization

An R package where solvers are first-class functions that compose through chaining, racing, and restarts.

Haskell Programming from First Principles

Learn You a Haskell for Great Good!

Modern Compiler Implementation in ML

Pearls of Functional Algorithm Design

Purely Functional Data Structures

Real World Haskell

The Little MLer

The Little Schemer

The Seasoned Schemer

Rerum: A Pattern Matching and Term Rewriting Library

Introducing rerum - a Python library for symbolic computation with a readable DSL, powerful pattern matching, and a security-conscious architecture that separates rules from computation.

AlgoGraph: Immutable Graph Library with Functional Transformers

AlgoGraph brings functional programming elegance to graph algorithms with immutable data structures, pipe-based transformers, declarative selectors, and lazy views.

Alga: Algebraic Parser Composition through Monadic Design A C++20 Template Library for Type-Safe Text Processing

ZeroIPC: Transforming Shared Memory into an Active Computational Substrate

ZeroIPC transforms shared memory from passive storage into an active computational substrate, enabling functional and reactive programming paradigms across process boundaries with zero-copy performance.

JAF: Production-Grade Streaming Boolean Algebra Over Nested JSON

A production-ready streaming data processing system implementing boolean algebra over nested JSON structures. JAF brings dotsuite's pedagogical concepts to production with lazy evaluation, S-expression queries, and memory-efficient windowed …

The Dot Ecosystem: From Simple Paths to Data Algebras

A mathematically grounded ecosystem of composable tools for manipulating nested data structures. From simple helper functions to sophisticated data algebras, guided by purity, pedagogy, and the principle of least power.

JSL: A Network-Native Functional Language Where Code Is JSON

A Lisp-like functional programming language designed for network transmission and distributed computing. JSL makes JSON serialization a first-class design principle, enabling truly mobile code with serializable closures and resumable computation.

AlgoTree: Immutable Tree Structures with Functional Transformers

A powerful, immutable-by-default tree manipulation library for Python with functional programming patterns, composable transformations, and advanced pattern matching.

Accumux: Compositional Online Statistical Reductions in C++

A modern C++20 library for compositional online data reductions with numerically stable algorithms and algebraic composition.

algebraic.dist: Treating Distributions as First-Class Algebraic Objects in R

An R package for treating probability distributions as first-class algebraic objects that compose through standard operations.