Terminal-based presentations using Pandoc

💥💻💥 A data-parallel functional programming language

Automatic testing of Haskell programs.

Haskell implemented with combinators

A demo implementation of a simple dependently-typed language

Domain-Specific Languages of Mathematics

A community-driven collection of documentation for Haskell error messages and warnings

🧙‍♀️ Convert values from one type into another.

A library for producing terminal plots.

Reimplementation of a subset of Cabal

Genetic program repair using GHC

A special-purpose processor for pure, non-strict functional languages

The official interpreter for the Jeopardy language

Solutions for Advent of Code 2021

A language to demonstrate embedded pattern matching

Hugs implementation of Haskell

Library for writing Discord bots

wasm abstract machine

version 1.00

A language to demonstrate embedded pattern matching

Playing around with pattern matching representation

Make Software Secure Again