Universal markup converter

ShellCheck, a static analysis tool for shell scripts

REST API for any Postgres database

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

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

An advanced keyboard manager

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

The Haskell Tool Stack

A modern proof language

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

A Dependently Typed Functional Programming Language

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

A static website compiler library in Haskell

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

🇪🇺 Wire back-end services

🍜 A tasty Haskell web framework

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

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

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

Official upstream development repository for Cabal and cabal-install

Haskell source code suggestions

The official formatter for Nix code

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Liquid Types For Haskell

A fast Haskell JSON library

Very low feature GHCi based IDE

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …