🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Functional Programming Course

A Dependently Typed Functional Programming Language

What I Wish I Knew When Learning Haskell

lamdu - towards the next generation IDE

A formatter for Haskell source code

A wayland compositor based on ideas from and inspired by xmonad

Experimental implementation of Cubical Type Theory

Haskoin Core is a Bitcoin and Bitcoin Cash library

Domain-Specific Languages of Mathematics

The Ivory EDSL

With way too messy gist.github pages this is an attempt to organise my snippets

The Incredible Proof Machine

Runtime Haskell interpreter

Examples to accompany the book "Haskell in Depth"

Course material for lens

Telegram Bot API for Haskell

I wanted to make a nicer sticker for Munihac, then things got out of hand.

Integrating Haskell with Swift Mac Apps

Let GHC prove program equations for you

A Common Intermediate Language backend for Idris 1

being an operating system for typechecking processes

A small and expressive dependently typed language

Easy to use library for building Telegram bots in Haskell.

A tutorial for reflex-dom with small code bits

Haskeline wrapper for GHCi-like REPL interfaces

Haskell packages for computer vision, image processing, and pattern recognition

Hopefully verifiable code generation in GHC