Universal markup converter

ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

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

An advanced keyboard manager

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

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

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

💥💻💥 A data-parallel functional programming language

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Official upstream development repository for Cabal and cabal-install

Homomorphic machine learning

Research language for array processing in the Haskell/ML family

Future-proof note-taking and publishing based on Zettelkasten (superseded by Emanote: https://github.com/srid/emanote)

Very low feature GHCi based IDE

Kit: a magical, high performance programming language, designed for game development.

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Shell programming, Haskell style

Applicative option parser

The Egison Programming Language

A DSL for deep neural networks, supporting Caffe and Torch

Call Haskell functions from any programming language via serialization and dynamic libraries

Optics as an abstract interface

Purely functional artificial neural network library implemented in Haskell.

Functional workflows

A probabilistic programming language

A quine generator

Runtime Haskell interpreter

optics for Haskell with the most amazing type errors you've seen

Haskell + Lisp