Compiler for Elm, a functional language for reliable webapps.

A statically typed lisp, without a GC, for real-time applications.

A Dependently Typed Functional Programming Language

💥💻💥 A data-parallel functional programming language

🍜 A tasty Haskell web framework

Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others

The Oden Programming Language (NO LONGER IN ACTIVE DEVELOPMENT)

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

The Software Analysis Workbench

A type-safe, high-level SQL library for Haskell

The Ivory EDSL

A DSL for embedded hard realtime applications.

A black hole raytracer written in Haskell

Integrating Haskell with Swift Mac Apps

A ML-family Language Compiled to Lua

A terminal interface for Conway's Game of Life