A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

The Haskell Tool Stack

A Dependently Typed Functional Programming Language

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

Haskell to JavaScript compiler, based on GHC

Haskell bindings for TensorFlow

Deep Learning in Haskell

Liquid Types For Haskell

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

Project: M36 Relational Algebra Engine

Release with confidence, state-of-the-art property testing for Haskell.

A native compiler backend for PureScript (via C++ or Golang)

Haskell library for the Microsoft Language Server Protocol

A bare-bones calculus-of-constructions

Core type definitions (Snap monad, HTTP types, etc) and utilities for web handlers.

A small strongly typed language that compiles to Erlang (not JavaScript)

Haskell bindings for Vulkan

Tree shaking breeze for PureScript CoreFn AST

A small strongly typed language that compiles to C++11

A domain-specific language for state machines.

High performance type safe html generation

Template Haskell utilities for Hasql

Haskell implementation of Magic: The Gathering

Experimental Malfunction backend for Idris

refine properties for testing Haskell programs

DEPRECATED - Editor Support for the PureScript programming language

Template repo for theorem proving in Liquid Haskell