ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Haskell bindings for TensorFlow

The Haskell-Scriptable Editor

A standard library for Haskell

Functional programming with fewer indirections

Crucible is a library for symbolic simulation of imperative programs

Haskell game engine library for roguelike dungeon crawlers; please offer feedback, e.g., after trying out the sample game with the web frontend at

A comprehensive Amazon Web Services SDK for Haskell.

Algorithms from AIMA in Haskell

Process Monitoring/Management, Like Daemontools

Haskell gRPC support

Auto-generate a command-line parser for your datatype

A small strongly typed language that compiles to C++11

Haskell Protobuf Implementation

Tools for building 3D interactive programs in Haskell

Higher level abstractions on top of SFML