Re-use the NixOS VM test infrastructure to test Ubuntu, Debian, and Fedora machines.

lightweight alternative to `flake-utils` and `flake-parts`

Chez Scheme backend for PureScript

Google Protocol Buffers for PureScript

Jupyter adaptation of Learn You a Haskell for Great Good!

Combinatory automatic differentiation in Haskell for heterogeneous computing.

LLVM backend for Accelerate

Compiling to Categories

A modern syntax for the λ-calculus.

Compositional pipelines

The Egison Programming Language

Embedded language for high-performance array computations

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

What I Wish I Knew When Learning Haskell

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

The Haskell-Scriptable Editor

Homomorphic machine learning

A Dependently Typed Functional Programming Language

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

A RESTful Haskell web framework built on WAI.

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A small JavaScript library for defining and using union types.

Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

Type inference and checking for a safer JavaScript.

A tool to extract image assets from the iOS SDK.

Our original Web Component library.

Inda13 Project

Realtime application framework (Node.JS server)