Universal markup converter

ShellCheck, a static analysis tool for shell scripts

A friendly programming language from the future

The Haskell Tool Stack

A Dependently Typed Functional Programming Language

Linux VR Desktop

Official Haskell IDE support via the language server protocol (LSP)

🍜 A tasty Haskell web framework

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

lamdu - towards the next generation IDE

A declarative Unix terminal UI library written in Haskell

The Haskell-Scriptable Editor

Liquid Types For Haskell

Very low feature GHCi based IDE

Haskell library for building declarative animations based on SVG graphics

♊ higher-order, no-boilerplate monads

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Shell programming, Haskell style

Applicative option parser

Command-line benchmark tool

The Daml smart contract language

Functional programming with fewer indirections

Algebraic graphs

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Release with confidence, state-of-the-art property testing for Haskell.

A fast, flexible, fused effect system for Haskell

hpack: A modern format for Haskell packages

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…