Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

The Egison Programming Language

Algebraic graphs

a small .pdf management tool with a command-line UI

Comparing many FRP implementations by reimplementing the same toy app in each.

Terminal emulator configurable in Haskell.

Type inference and checking for a safer JavaScript.

A command line utility for practicing typing and measuring your WPM and accuracy.

Relational programming in Haskell. Mostly developed on twitch.

A minimal, fast Datalog implementation in Haskell that compiles to LLVM IR

A Super Kawaii Dependently Typed Programming Language

Dyna2 compiler and REPL

Automatic Haskell type inference from JSON input

A remote virtual DOM library for Haskell

A pure Haskell implementation of Datalog

Simple example to illustrate how to use persistent and servant in combination.

A collection of tutorials, guidelines, examples, patterns and half-baked ideas on functional reactive programming (FRP).

Example row-polymorphism implementations

A simple Depdently-Typed Language for Research and Learning

⭐ it's a starcraft clone but with a dope typesystem

Reverse proxy that handles authentication

Practical Specification of Belief Manipulation in Games

A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.

Dhall-configured inductive API definitions

TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.

A toy declarative object-oriented programming language

The WAM in Haskell

Haskell two way mismatch

An interactive demo of the CTL model-checking algorithm