Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.

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…

A static website compiler library in Haskell

The Eta Programming Language, a dialect of Haskell on the JVM

Haskell to JavaScript compiler, based on GHC

Haskell bindings for TensorFlow

A GHC-based Haskell to JavaScript compiler

Deep Learning in Haskell

A proper subset of Haskell that compiles to JavaScript

Tensors and neural networks in Haskell

Embedded language for high-performance array computations

Haskell API search engine

A DSL for deep neural networks, supporting Caffe and Torch

Haskell-based shell scripting language

Experimental implementation of Cubical Type Theory

Haskell shell scripting

Linear algebra and numerical computation

A bare-bones calculus-of-constructions

Web app deployment manager

optics for Haskell with the most amazing type errors you've seen

GHC plugin that improves Haskell code's numerical stability

Heterogeneous automatic differentiation ("backpropagation") in Haskell

higher order dependently typed logic programing

Implementation of Univalence in Cubical Sets

Haskell implementation of MessagePack / msgpack.org[Haskell]

Proof that Haskell can look and act like an imperative language.

Dependently-typed finite maps (partial dependent products)

Tiling window manager for Mac OS X.

DEPRECATED: Accelerate backend for NVIDIA GPUs