ShellCheck, a static analysis tool for shell scripts

A statically typed lisp, without a GC, for real-time applications.

A Haskell library that simplifies access to remote data, such as databases or web-based services.

Functional Programming Course

The Haskell Tool Stack

lamdu - towards the next generation IDE

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 …

Fugue Rego Toolkit

Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:

LambdaCube 3D is a Haskell-like purely functional language for GPU. Try it out:

Haskell and Scala translations of Truth Maintenance Systems and other tools from Forbus and de Kleer's Building Problem Solvers.