ShellCheck, a static analysis tool for shell scripts

Universal markup converter

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

Functional Programming Course

Koka language compiler and interpreter

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

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

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

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

💥💻💥 A data-parallel functional programming language

A wiki using HAppS, pandoc, and git

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

The official (but not yet stable) formatter for Nix code

A programming language with static memory management based on λ-calculus

📖 source material for Thinking with Types

Compiler for the Gren programming language

⏩ NeoHaskell is a dialect of Haskell that is focused on newcomer-friendliness and productivity.

A Haskell implementation of realworld.io

Literate program notes from reading 'TDD with Idris' book comparing Idris and Haskell