ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

A Dependently Typed Functional Programming Language

Liquid Types For Haskell

Cryptol: The Language of Cryptography

Automatic testing of Haskell programs.

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

The Ivory EDSL

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

A Haskell library for converting LaTeX math to MathML.

Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

Library and executable for using citeproc with pandoc

Dyna2 compiler and REPL

A toy implementation of the Raft protocol in Haskell, with an experimental BFT variant.

playground for working with succinct data structures

Generic parser combinators

Deprecated because of

Haskell 98 semigroups

The Heterogeneous Tool Set

Labeled IO Library

sparse matrices in Morton order

a flexible text macro system

Document query utility, mixing CSS Selector syntax and regular expressions.

Fast quadrature techniques

A datalog prover, written in haskell.

LLVM Verification Framework

Typed type representations and equality proofs

Memory map vectors