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

Parsing, analyzing, and comparing source code across many languages

A friendly programming language from the future

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

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

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

A modern proof language

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

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

DEPRECATED in favor of ghc wasm backend, see https://www.tweag.io/blog/2022-11-22-wasm-backend-merged-in-ghc

Research language for array processing in the Haskell/ML family

📜 Haskell course info, plan, video lectures, slides

A statically typed concatenative systems programming language.

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests

Industrial-strength monadic parser combinator library

High performance, concurrent functional programming abstractions

A stream-based runtime-verification framework for generating hard real-time C code.

Algebraic graphs

Course materials for Stanford CS240h, "Functional Systems in Haskell"

Haskell implemented with combinators

Extremely modular text editor built in Haskell

🕵️ Haskell STatic ANalyser

Compiling to Categories

Launch processes with Vault secrets in the environment

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

Peer-to-peer encrypted message exchange