High-velocity, monorepo-scale workflow for Git

Submit pull requests for individual, amendable, rebaseable commits to GitHub

Stacked Pull Requests on GitHub

LaTeX Styles provided by Dagstuhl Publishing

The Lean reference manual

Pipe the GHC eventlog stream to a UNIX domain socket

Visualise eventlog events as a static webpage

A multilingual package manager for Arch Linux and the AUR.

A package index for the Haskell ecosystem

Emits code crossreference data for Haskell sources.

SCIP Code Intelligence Protocol

System for collecting, deriving and working with facts about source code.

The Haskell Thrift Compiler. This is an implementation of the Thrift spec that generates code in Haskell. It depends on the fbthrift project for the implementation of the underlying transport.

A lightweight (but compatible with ‘lens’) lenses library

The mighty, self-hostable Git server for the command line🍦

A re-implementation of weeder using HIE files

🔬 A fast, interactive web-based viewer for performance profiles.

Automatically generate Haskell bindings from C header files

Haskell grammar for tree-sitter.

Check cross-references in repository documents

A fast, friendly, functional language.

Typecheck, template and modularize your Github Action definitions with Dhall

A modern, extensible and well-documented prettyprinter.

Change-aware static site generator for Haskell programmers

Source code for the Mathematics in Lean tutorial.

A Git-compatible VCS that is both simple and powerful

Workflow to have golden tests on your Haskell package's API

Dump the declarations of Haskell modules

Haskell bindings for the Botan cryptography library