ShellCheck, a static analysis tool for shell scripts

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

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

A modern proof language

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

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

Terminal-based presentations using Pandoc

Easy dependency management for Nix projects

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Command line client for Nix binary cache hosting:

Erlang backend for the PureScript compiler

Docker containers for your integration tests! http://hackage.haskell.org/package/testcontainers

A fast, lightweight, and concurrent plugin manager for the fish shell, written in Haskell

Elm language server written in haskell (archived). Use https://github.com/elm-tooling/elm-language-server instead.

Offline Elm development!

Language Server for Elm

A quick & dirty Yesod-based local web interface to TaskWarrior