Universal markup converter

REST API for any Postgres database

The Haskell Tool Stack

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

What I Wish I Knew When Learning Haskell

The Eta Programming Language, a dialect of Haskell on the JVM

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

Kit: a magical, high performance programming language, designed for game development.

Espial is an open-source, web-based bookmarking server.

Cloud Haskell core libraries

A visual Haskell

Haskell Programming From First Principles - Follow-up Resources

Haskell/Java interop via inline Java code in Haskell modules.

A Haskell syntax highlighting library with tokenizers derived from KDE syntax highlighting descriptions

Benchmarks for dictionary data structures: hash tables, maps, tries, etc.