A strongly-typed language that compiles to JavaScript

A multi-syntax functional programming language that compiles to WebAssembly.

Functional workflows

A reference library for constraint-solving with propagators and CDCL.

A simple expressions language with polymorphic extensible row types.

The symbolic execution engine powering the K Framework

Haskell + Lisp

Tree shaking breeze for PureScript CoreFn AST

An example Haskell web application

High performance type safe html generation

A simple FRP library providing leak-free first-class streams.

Automated video editing for streamers

A small example of using mtl style to unit test effectful code

GSD (Get your Stuff Done) | Basic Todo list for demonstrating CQRS/Command Sourcing in Haskell

Simple and flexible project templates

Opinionated Haskell Interoperability

Arrowized functional state machines

Experiments using a bidirectional typesystem

Define Backwards Compatibility Schemes for Arbitrary Data