High performance, streaming and concurrent functional programming in Haskell

Lazy streams for OCaml

A paper about stream fusion with the help of 𝜑-calculus and mapMulti(), together with all its artifacts, just accepted at SOAP'26 workshop

Mo is a strict functional language whose OCaml compiler generates efficient imperative Zig — no ownership annotations, no garbage collector. Linearity inference, stateful pattern fusion, and opaque linear handles let pure functional code match or beat hand-written Zig on memory across 5 benchmarks.

Composable, fused transducers in pure Standard ML (MLton + Poly/ML): map/filter/take/mapcat/dedupe/distinct/partitionAll/interpose/keep/indexed variants, a completion flush hook, and list/string/array runners.

Fluent, composable, async, iteration.