Dockerfile linter, validate inline bash, written in Haskell

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

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

What I Wish I Knew When Learning Haskell

Research language for array processing in the Haskell/ML family

The Plutus language implementation and tools

High performance, concurrent functional programming abstractions

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

Experimental implementation of Cubical Type Theory

Write type-safe GraphQL services in Haskell

Data frames for tabular data.

hal provides an AWS Lambda Custom Runtime environment for your Haskell applications.

A CI server written in Simple Haskell.

CQL: Categorical Query Language implementation in Haskell

being an operating system for typechecking processes

Measure allocations of a Haskell functions/values

Haskell library implementing "Data Types a la Carte"

yacctt: Yet Another Cartesian Cubical Type Theory

hastatic is a tiny static content web server for Docker

Braiding extensible effects together in a pipeline/workflow of tasks

🎯 IO with Exceptions tracked on the type-level

Typecheck, template and modularize your AWS CloudFormation with Dhall

OpenID Connect 1.0 client (RP) library for Haskell

Compositional Data Types on DAGs

Haskell cash-flow and tax simulation

Tree automata on Compositional Data Types

Some tree algorithms.