🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

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

Easy dependency management for Nix projects

Official upstream development repository for Cabal and cabal-install

Haskell source code suggestions

Very low feature GHCi based IDE

A formatter for Haskell source code

Functional programming with fewer indirections

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

Modern and extensible testing framework for Haskell

🕵️ Haskell STatic ANalyser

🚧 a work in progress effect system for Haskell 🚧

Web application for exploring and understanding Haskell codebases

Optics as an abstract interface

Web applications without callbacks or side-effects. Reflex-DOM brings the power of functional reactive programming (FRP) to the web. Build HTML and other Document Object Model (DOM) data with a pur…

Low-level networking interface

A modern, extensible and well-documented prettyprinter.

📓 Flexible and configurable modern #Haskell logging framework

Use snippets of Rust inline in your Haskell programs

The symbolic execution engine powering the K Framework

Symbolic formula representation and solver interaction library

The GHC API, decoupled from GHC versions

Fast linear time sorting and discrimination for a large class of data types

Unification and type inference algorithms

theseus, functional programming language with fully reversible computation

Numerical computation in native Haskell

Measuring CPU instructions in Haskell using Linux Performance Counters

A self-hosting mini Haskell compiler with a mini C runtime.

Filter with effects

type level sets