paf31/purescript-purview

A UI library based on the incremental lambda calculus

purescript/purescript-in-purescript

PureScript compiler written in PureScript (On hold / inactive)

leanprover/functional_programming_in_lean

A book about functional programming in Lean

marvinborner/bruijn

:abacus: Programming with pure lambda calculus

JordanMartinez/purescript-cookbook

An unofficial Cookbook for PureScript

haskell-lang/haskell-lang

haskell-lang.org website

Adapton/adapton.rust

General-purpose abstractions for incremental computing, in Rust