A strongly-typed language that compiles to JavaScript

🔥 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 modern proof language

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

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

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

A static website compiler library in Haskell

Haskell to JavaScript compiler, based on GHC

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

A declarative Unix terminal UI library written in Haskell

Haskell bindings for TensorFlow

Haskell source code suggestions

A GHC-based Haskell to JavaScript compiler

A proper subset of Haskell that compiles to JavaScript

A fast Haskell JSON library

Educational computer programming environment using Haskell

Liquid Types For Haskell

Haskell library for building declarative animations based on SVG graphics

♊ higher-order, no-boilerplate monads

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Haskell code prettifier

A standard library for Haskell

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

Modern and extensible testing framework for Haskell

hpack: A modern format for Haskell packages

An easy to use, cross platform, GUI library for writing Haskell applications.

Learn Haskell, with tiny lessons.

🚧 a work in progress effect system for Haskell 🚧

A powerful but simple library for measuring the performance of Haskell code.

📖 source material for Thinking with Types