PureScript Compiler -
I am the original designer of the PureScript programming language and compiler. I implemented many of the compiler features and core libraries.
Try PureScript! -
This web application allows developers to try the PureScript programming language without installing the compiler. It compiles the user's code on the server, and executes it in an iframe.
A simple tool for managing public and private PureScript dependencies, which focuses on building reusable immutable package sets, instead of solving version constraints.
This teaching tool allows developers to step through the evaluation of a MicroKanren program, observing values as unifications happen, for debugging purposes.
This is a clone of a game called 2D Star Dodge which I typed in from an issue of Amstrad Action magazine in 1992. You can play online.
A bare-bones UI toolkit which uses incremental lambda calculus to replace the virtual DOM. Written in 100% PureScript.
Another experimental UI library without a virtual DOM, also written in 100% PureScript.
An implementation of "extensible coeffects" using comonads, Day convolution and row polymorphism.
This library provides an embedded language for incremental computation in PureScript, using higher-order abstract syntax. It is based on ideas in the paper "A Theory of Changes for Higher-Order Languages" by Cai, Giarrusso, Rendel and Ostermann.
This library is an implementation of the ideas in my article "Declarative UIs Are The Future - And the Future Is Comonadic!", using React for rendering and state management.
This library is a simple FRP implementation in PureScript which supports switching. You can try it online.
A library for building simple REST services easily with PureScript on Node.
An experimental library for developing reactive user interfaces with PureScript and React. It focuses on providing a clean, functional API for component composition. You can try it online.