Universal markup converter

REST API for any Postgres database

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

Functional Programming Course

The Haskell Tool Stack

A modern proof language

A RESTful Haskell web framework built on WAI.

💥💻💥 A data-parallel functional programming language

lamdu - towards the next generation IDE

Research language for array processing in the Haskell/ML family

Haskell bindings for TensorFlow

Deep Learning in Haskell

Liquid Types For Haskell

Tensors and neural networks in Haskell

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

Industrial-strength monadic parser combinator library

Embedded language for high-performance array computations

Resource gathering + programming game

Experimental implementation of Cubical Type Theory

The github API for Haskell

A Haskell library for creating WebSocket-capable servers

Efficient Haskell Arrays featuring Parallel computation

🎮 NES Emulator written in Haskell

A quine generator

An experimental proof assistant based on a type theory for synthetic ∞-categories.

Haskell library to load & save pictures

Embedded domain-specific language for declarative vector graphics (wrapper package)

The LLVM LHC Haskell Optimization System