Universal markup converter

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.

🔥 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

A Haskell library that simplifies access to remote data, such as databases or web-based services.

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

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

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

Pattern language

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

💥💻💥 A data-parallel functional programming language

What I Wish I Knew When Learning Haskell

The engine for haskell ide-integration. Not an IDE

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

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

Liquid Types For Haskell

Educational computer programming environment using Haskell

Embedded language for high-performance array computations

Detexify Backend written in Haskell

A monadic parser combinator library

Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others

Crucible is a library for symbolic simulation of imperative programs

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

A fast, flexible, fused effect system for Haskell

An easy to use, cross platform, GUI library for writing Haskell applications.

A demo implementation of a simple dependently-typed language

🚧 a work in progress effect system for Haskell 🚧

Generate Haskell bindings for GObject-Introspection capable libraries