A modern proof language

Official Haskell IDE support via the language server protocol (LSP)

Pattern language

What I Wish I Knew When Learning Haskell

Haskell to JavaScript compiler, based on GHC

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

🚧 a work in progress effect system for Haskell 🚧

A language for intent-centric and declarative decentralised applications

A categorical programming language with effects

The Ermine Programming Language - Join us on irc.freenode.net #ermine

Haskell implementation of open games

higher order dependently typed logic programing

Graph programming language

A small example of using mtl style to unit test effectful code

Proof that Haskell can look and act like an imperative language.

Random DDD related things in Haskell

All the Transient libraries

mtl vs free monads