Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Compiler for Elm, a functional language for reliable webapps.

A statically typed lisp, without a GC, for real-time applications.

An advanced keyboard manager

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

Robust, fast, intuitive plain text accounting tool with CLI, TUI and web interfaces.

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

A static website compiler library in Haskell

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

A RESTful Haskell web framework built on WAI.

Terminal-based presentations using Pandoc

A multilingual package manager for Arch Linux and the AUR.

《Real World Haskell》中文翻译项目

Haskell to VHDL/Verilog/SystemVerilog compiler

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

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

Tensors and neural networks in Haskell

Haskell LLVM JIT Compiler Tutorial

Haskell pretty printer

Write You a Scheme

Haskell shell scripting

A comprehensive self-management System

An HTTP client engine, intended as a base layer for more user-friendly packages.

Relational programming in Haskell. Mostly developed on twitch.

Generate nix sources expr for the latest version of packages

《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版