Web application for exploring and understanding Haskell codebases

Haskell Programming From First Principles - Follow-up Resources

Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

Write type-safe GraphQL services in Haskell

Packages for defining APIs, running them, generating client code and documentation.

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

A strict, impure, curried, partially applied programming language with rather peculiar syntax.

A bittorrent client written in Haskell

Telegram Bot API for Haskell

Systematic concurrency testing meets Haskell.

Dynamic typing in Haskell

Embedded specification language & model checker in Haskell

MongoDB driver for Haskell

A REPL for Elm

A language based on homotopy type theory with an interval

Libraries we use at NoRedInk

A GraphQL query parser for Haskell

Notes and solutions to exercises of "Haskell Programming from first principles"

Solutions to exercises from the book Haskell Programming From First Principles

Benchmarking tool for compile-time performance of Agda programs

A console based calculator written in Haskell.