Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

An advanced keyboard manager

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

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

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

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

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

A shell script which checks your $HOME for unwanted files and directories.

A static website compiler library in Haskell

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

💥💻💥 A data-parallel functional programming language

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

Easy dependency management for Nix projects

Haskell source code suggestions

The official formatter for Nix code

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Liquid Types For Haskell

A fast Haskell JSON library

Very low feature GHCi based IDE

A formatter for Haskell source code

Haskell code prettifier

Command line client for Nix binary cache hosting:

Interactively browse dependency graphs of Nix derivations.

Crucible is a library for symbolic simulation of imperative programs