The P programming language.

Virtual whiteboard for sketching hand-drawn like diagrams

An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

A structured concurrency library

High performance, streaming and concurrent functional programming in Haskell

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

A type-safe Haskell SQL library

The official formatter for Nix code

Executes commands in response to file modifications

ldd as a tree

GALGA: Multiplayer card game written in Haskell and Elm.

FRP library

Use Nix flakes without any fluff.

Pure Nix flake utility functions [maintainer=@zimbatm]

⛏️ A refinement proof framework for haskell

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

Abstract, inspectable JSON representation of Haskell objects

CLI to manage emails

A streaming data library

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

Resource gathering + programming game

Mu (μ) is a purely functional framework for building micro services.

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Serialization framework for Rust

📦 Custom Setup to automate package modules discovery

Low-dimensional linear algebra primitives for Haskell.

Embedded specification language & model checker in Haskell

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

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

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…