Universal markup converter

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

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

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

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

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

A modern proof language

A Dependently Typed Functional Programming Language

Koka language compiler and interpreter

A static website compiler library in Haskell

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

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

What I Wish I Knew When Learning Haskell

🍜 A tasty Haskell front-end framework

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

A declarative Unix terminal UI library written in Haskell

Easy dependency management for Nix projects

Research language for array processing in the Haskell/ML family

The Plutus language implementation and tools

Haskell 101 and 102: slides and codelabs

Liquid Types For Haskell

Very low feature GHCi based IDE

Haskell library for building declarative animations based on SVG graphics

Tensors and neural networks in Haskell

The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

👩‍🏫 👨‍🏫 Learn Haskell basics in 4 pull requests