Haskell repositories

SimpleX Chat is a privacy-focused messaging platform that eliminates user identifiers entirely, using end-to-end encryption with double-ratchet...

ShellCheck is a static analysis tool for shell scripts (bash/sh) that identifies syntax errors, semantic problems, and potential pitfalls. It is...

Elm is a functional programming language and compiler designed specifically for building reliable web applications with a focus on eliminating...

Pandoc is a universal markup converter library and command-line tool written in Haskell that translates between 30+ document formats including...

hledger is a plain text accounting tool for tracking money, investments, and time using double-entry bookkeeping principles. It serves personal...

Namma Yatri is an open-source, direct-to-driver mobility platform designed to empower auto drivers and citizens in India through a commission-free,...

IHP is a batteries-included web framework built on Haskell and Nix that emphasizes type safety, developer productivity, and AI-assisted development...

The official Haskell Language Server provides IDE support via the Language Server Protocol (LSP) for Haskell development, integrating with editors...

PostgREST automatically generates a fully RESTful API directly from any PostgreSQL database schema, eliminating the need to write custom API code. It...

Miso is a Haskell web framework for building web and mobile applications using a Model-View-Update paradigm, inspired by Elm and React. It compiles...

PureScript is a statically-typed language that compiles to JavaScript, designed for developers seeking strong type safety and expressive type systems...

Agda is a dependently typed programming language and interactive theorem prover written in Haskell, designed for formal verification and mathematical...

The lens library provides a comprehensive implementation of lenses, folds, traversals, and related optics for Haskell, enabling composable, type-safe...

GHC (Glasgow Haskell Compiler) is the primary compiler and interactive environment for the Haskell functional programming language. It is a...

Futhark is a purely functional, data-parallel programming language designed for compiling to efficient parallel code on CPUs and GPUs, particularly...

Wire Server is the backend infrastructure for Wire, an open-source end-to-end encrypted messaging and collaboration platform. It provides a complete...

Carp is a statically typed Lisp designed for performance-critical, interactive applications like games and real-time audio synthesis, offering...

Unison is a statically-typed functional programming language that uses content-addressed code (identified by hash rather than name) stored as AST in...

Hadolint is a Dockerfile linter that validates Dockerfile syntax and best practices by parsing into an AST and applying rule-based checks, with...