Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

Dockerfile linter, validate inline bash, written in Haskell

A strongly-typed language that compiles to JavaScript

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

The Haskell Tool Stack

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

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

A declarative Unix terminal UI library written in Haskell

Liquid Types For Haskell

Haskell library for building declarative animations based on SVG graphics

A library for building Haskell IDE tooling

Generator of runtime monitors for flight and robotics applications.

Main source code repository of the Tamarin prover for security protocol verification.

Previous version of LambdaCube 3D as Embedded Domain Specific Language in Haskell. Check the latest system:

A graphical tool for profiling parallel Haskell programs

My sandbox for experimenting with solver algorithms.

A collection of different packages for CAS based data structures.