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 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.

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

The github API for Haskell

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

🍖barbq is a text based status bar for macOS

Advent of Code 2019 solutions

A Turing complete language 😉

Combine and enhance Functors

Finished Book of Monads by Alejandro Serrano-Mena

Truth-table generator for classical propositional logic

pointed and copointed data

Cool Compiler for MIPS written in Haskell

State variables

My solutions for Advent of Code 2019. In Haskell! :O