Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

Functional Programming Course

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

A Dependently Typed Functional Programming Language

A static website compiler library in Haskell

Agda is a dependently typed programming language / interactive theorem prover.

🇪🇺 Wire back-end services

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

📜 Haskell course info, plan, video lectures, slides

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

♊ higher-order, no-boilerplate monads

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

A library for building Haskell IDE tooling

Code and materials for my book "Functional Design and Architecture"

The github API for Haskell

A fast functional language based on two level type theory

The Happy parser generator for Haskell

💻 Exercises for the Haskell Beginners 2022 course

Scrap your hand-rolled aeson instances

Named parameters (keyword arguments) for Haskell

Difference lists in Haskell

Advent of Code 2019 Solutions (Spoilers!)

🎅🌟❄️☃️🎄🎁

🍖barbq is a text based status bar for macOS

Advent of Code 2019 solutions

A Turing complete language 😉

Combine and enhance Functors