Universal markup converter

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

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

Functional Programming Course

The Haskell Tool Stack

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

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

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.

What I Wish I Knew When Learning Haskell

Haskell to JavaScript compiler, based on GHC

The engine for haskell ide-integration. Not an IDE

🍜 A tasty Haskell web framework

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

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

A declarative Unix terminal UI library written in Haskell

Haskell bindings for TensorFlow

Haskell source code suggestions

A fast Haskell JSON library

Liquid Types For Haskell

Tensors and neural networks in Haskell

Very low feature GHCi based IDE