ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

The Haskell Tool Stack

The core component that is used to participate in a Cardano decentralised blockchain.

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 language server (LSP). Successor of ghcide & haskell-ide-engine.

A RESTful Haskell web framework built on WAI.

HTTP server & command-line for managing UTxOs and HD wallets in Cardano.

A fast, flexible, fused effect system for Haskell

Persistence interface for Haskell allowing multiple storage methods.

A component that follows the Cardano chain and stores blocks and transactions in PostgreSQL

Tutorial using ghci to make folds easier. Come for the tutorial, stay for the fold puns.

Simple Plutus contract to help give Charles' stuffed lobster a name

Haskell bindings for tree-sitter

Addresses and mnemonic manipulation & derivations

Haskell on-disk B* tree implementation

My notes and solutions to exercises for the book "Haskell Programming from first principles".

A lambda calculus to explore type-directed program synthesis.

The Daedalus data description language

Helper libraries for Plutus.

Text and Haskell source for my blog series on recursion schemes.

join and meet semilattices, lower and upper bounds.

Plutus Pioneer Program #2 Cohort

An implementation of "Freer Monads, More Extensible Effects".

Byron Network implementation of Decentralized Exchange App

A personal sandbox for playing with Haskell, (post) modern OpenGL and, quite marginally, Japanese.

An experimental haskell implementation of the range query language.