DOM virtualization in Halogen using TanStack Virtual

Optimizing backend toolkit and modern ECMAScript backend for PureScript

An adequate printer.

Encode/decode typed structures using a regular expression DSL.

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

Small implementation of OutsideIn(X) type checking algorithm

✨ Beautifully simple click-to-copy CSS effects

Learn purescript-halogen using a bottom-up apporach via this "clone-and-play" repository

Exemplary real world application built with PureScript + Halogen

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Highly efficient immutable list powered RRB-trees implementing the Data.Array API

The Inter font family

First-class type families

Formlets for halogen

Refined types

Extensible checked exceptions with polymorphic variants

Functional programming with fewer indirections

The virtual Eurorack studio

A framework for building native Windows apps with React.

The Lux Programming Language

A strongly-typed language that compiles to JavaScript

A lightweight, fast and unintrusive PureScript file-watcher

Atom package for PureScript build, completion, etc support

A Haskell implementation of the Shen programming language.

Semigroups for instances of the functor hierarchy.

Legacy Max/MSP Objects I developed back in 2000-2005

LostGrid is a powerful grid system built in PostCSS that works with any preprocessor and even vanilla CSS.

The Incredible Proof Machine

A collection of resources for learning type theory and type theory adjacent fields.