REST API for any Postgres database

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.

Functional Programming Course

A Dependently Typed Functional Programming Language

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

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Terminal-based presentations using Pandoc

Research language for array processing in the Haskell/ML family

Haskell bindings for TensorFlow

《Real World Haskell》中文翻译项目

Deep Learning in Haskell

Liquid Types For Haskell

High performance, concurrent functional programming abstractions

Functional programming with fewer indirections

Cloud Haskell core libraries

A DSL for deep neural networks, supporting Caffe and Torch

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

A full stack, reactive architecture for general purpose programming. Algebraic and monadically composable primitives for concurrency, parallelism, event handling, transactions, multithreading, Web,…

A demo implementation of a simple dependently-typed language

Experimental implementation of Cubical Type Theory

Haskoin Core is a Bitcoin and Bitcoin Cash library

A Programming Language for Deep Learning

Haskell on Apache Spark.

Haskell Elasticsearch client and query DSL

Efficient Haskell Arrays featuring Parallel computation

Extensional capabilities and deriving combinators

Richard A. Eisenberg's PhD Dissertation

The LLVM LHC Haskell Optimization System

GHC plugin that improves Haskell code's numerical stability