Universal markup converter

ShellCheck, a static analysis tool for shell scripts

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

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

Official Haskell IDE support via the language server protocol (LSP)

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

Servant is a Haskell DSL for describing, serving, querying, mocking, documenting web applications and more!

Easy dependency management for Nix projects

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

Haskell source code suggestions

The official formatter for Nix code

Very low feature GHCi based IDE

A formatter for Haskell source code

A programming language with static memory management based on λ-calculus

Embedded language for high-performance array computations

Resource gathering + programming game

A wayland compositor based on ideas from and inspired by xmonad

Haskell API search engine

Automatic testing of Haskell programs.

Modern and extensible testing framework for Haskell

🕵️ Haskell STatic ANalyser

Updating nixpkgs packages since 2018

Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

Terminal emulator configurable in Haskell.

TLS/SSL implementation in haskell

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

The Monad Transformer Library

Standard library for linear types in Haskell.

flashcard TUI with markdown cards

Add ACID guarantees to any serializable Haskell data structure