REST API for any Postgres database

Parsing, analyzing, and comparing source code across many languages

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

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

A Dependently Typed Functional Programming Language

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Terminal-based presentations using Pandoc

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

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

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

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

Empire strikes back

Haskell on Apache Spark.

Haskell Elasticsearch client and query DSL

Efficient Haskell Arrays featuring Parallel computation