ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

A friendly programming language from the future

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

An advanced keyboard manager

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

A modern proof language

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

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

C to Rust translator

A declarative Unix terminal UI library written in Haskell

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

Bluespec Compiler (BSC)

♊ 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