Deep Analyses

Agda: actively maintained dependently typed language for formal verification and theorem proving

Open-source mobility platform for Indian auto-rickshaws, built on zero-commission driver-centric model

Foundational Haskell optics library providing composable abstractions for data structure access and transformation.

Glasgow Haskell Compiler: the primary reference implementation for Haskell, actively maintained by a distributed team

Functional GPU/CPU compiler for data-parallel workloads with strong academic backing

Actively maintained plain-text accounting tool with CLI, TUI, and web interfaces; serves niche of PTA practitioners.

Wire server: EU-focused encrypted messaging backend, built in Haskell, self-hostable but narrow adoption

Haskell web framework using Elm-inspired MVU pattern, compiles to JavaScript and WebAssembly

Official Haskell LSP server enabling IDE support across editors; steady maintenance in specialized ecosystem

Elm compiler: the official toolchain for a functional, type-safe frontend language with a decade of production use

IHP brings Rails-style productivity to Haskell web development with type-safety and Nix-managed environments

Unison: a content-addressed functional language that eliminates builds and redefines code storage

PureScript: Haskell-inspired strongly-typed language compiling to JavaScript, now over a decade old

Carp: A GC-free, statically typed Lisp for real-time and performance-sensitive applications

Hadolint: The de facto Dockerfile linter integrating ShellCheck for RUN instruction validation

PostgREST turns any PostgreSQL database into a REST API instantly — no code required

ShellCheck: The de facto static analyzer for bash/sh scripts, widely embedded in CI pipelines and editors

SimpleX Chat: identifier-free encrypted messaging for privacy-first users, built in Haskell

Pandoc: the de facto standard for converting between 40+ markup formats, still actively maintained after 15 years