ShellCheck, a static analysis tool for shell scripts

A strongly-typed language that compiles to JavaScript

A friendly programming language from the future

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

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.

A Dependently Typed Functional Programming Language

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

A static website compiler library in Haskell

Agda is a dependently typed programming language / interactive theorem prover.

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

Haskell to JavaScript compiler, based on GHC

🍜 A tasty Haskell web framework

Haskell to VHDL/Verilog/SystemVerilog compiler

The Haskell-Scriptable Editor

A GHC-based Haskell to JavaScript compiler

Deep Learning in Haskell

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

A proper subset of Haskell that compiles to JavaScript

Liquid Types For Haskell

Very low feature GHCi based IDE

Haskell library for building declarative animations based on SVG graphics

Tensors and neural networks in Haskell

A statically typed concatenative systems programming language.

Interactive programs without callbacks or side-effects. Functional Reactive Programming (FRP) uses composable events and time-varying values to describe interactive systems as pure functions. Just …

♊ higher-order, no-boilerplate monads

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

High performance, concurrent functional programming abstractions

A monadic parser combinator library

A wayland compositor based on ideas from and inspired by xmonad