Universal markup converter

REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

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

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

Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

Functional Programming Course

The Haskell Tool Stack

Cryptographic currency implementing Ouroboros PoS protocol

A modern proof language

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

A Dependently Typed Functional Programming Language

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

The core component that is used to participate in a Cardano decentralised blockchain.

A static website compiler library in Haskell

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

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

🇪🇺 Wire back-end services

Terminal-based presentations using Pandoc

💥💻💥 A data-parallel functional programming language

What I Wish I Knew When Learning Haskell

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

The engine for haskell ide-integration. Not an IDE

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