ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

The Haskell Tool Stack

A modern proof language

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

Pattern language

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

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Easy dependency management for Nix projects

The official formatter for Nix code

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

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

A formatter for Haskell source code

Command line client for Nix binary cache hosting:

Detexify Backend written in Haskell

The Egison Programming Language

A Programming Language for Deep Learning

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

Generate Nix build instructions from a Cabal file

A Haskell library for converting LaTeX math to MathML.

A categorical programming language with effects

An experimental proof assistant based on a type theory for synthetic ∞-categories.

My sandbox for experimenting with solver algorithms.

Language Server for Agda

https://hercules-ci.com build and deployment agent

An experiment of formatting .cabal files

Give your dependencies stars on GitHub! 🌟

Runs tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.