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

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

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)

DEPRECATED: Accelerate backend for NVIDIA GPUs

Music and sound synthesis in Haskell!

Higher Order Prolog with Extensional Semantics

Bindings for Facebook's API.

Semantic Version Control mk II.