A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

The Haskell Tool Stack

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

A static website compiler library in Haskell

🇪🇺 Wire back-end services

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

The engine for haskell ide-integration. Not an IDE

haskell source code formatter

A native compiler backend for PureScript (via C++ or Golang)

A library for building Haskell IDE tooling

The SAW scripting language.

Haskell library for the Microsoft Language Server Protocol

Generate Haskell bindings for GObject-Introspection capable libraries

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

Examples to accompany the book "Haskell in Depth"

Telegram Bot API for Haskell

Haskell development tool