ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

A friendly programming language from the future

A modern proof language

Linux VR Desktop

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

Terminal-based presentations using Pandoc

The engine for haskell ide-integration. Not an IDE

A wiki using HAppS, pandoc, and git

Research language for array processing in the Haskell/ML family

Haskell source code suggestions

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Miscellaneous articles. The readme is the table of contents.

Liquid Types For Haskell

Very low feature GHCi based IDE

♊ higher-order, no-boilerplate monads

Haskell LLVM JIT Compiler Tutorial

Haskell code prettifier

Shell programming, Haskell style

Applicative option parser

Command-line benchmark tool

Algebraic graphs

haskell source code formatter

Happy Haskell Hacking for editors. DEPRECATED

Haskell pretty printer

A powerful but simple library for measuring the performance of Haskell code.

Functional sed for JSON

FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including har…

Domain-Specific Languages of Mathematics

Type safe interface for working in subcategories of Hask