ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

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

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

Linux VR Desktop

Terminal-based presentations using Pandoc

lamdu - towards the next generation IDE

The Haskell-Scriptable Editor

Deep Learning in Haskell

Extremely modular text editor built in Haskell

Simple blockchain server written in Haskell for educational purposes

The full power of R in Haskell.

A modern syntax for the λ-calculus.

The Incredible Proof Machine

Abandoned

A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web browsers are first class nodes in the cloud

Utilities for interacting with the docker registry and generating nix build instructions

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

A safe way to never worry about your beautifully configured system again. (NO LONGER MAINTAINED. Use Nixos instead.)

An IRC analysis server.

Fluxus clone in Haskell

Capybara for Haskell