Dockerfile linter, validate inline bash, written in Haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Haskell 101 and 102: slides and codelabs

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

Project management directly from the TODOs in your codebase

Release with confidence, state-of-the-art property testing for Haskell.

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

A GHCJS binding to React based on the Flux design. The flux design pushes state and complicated logic out of the view, allowing the rendering functions and event handlers to be pure Haskell functions.

A game engine for running werewolf in a chat client