ShellCheck, a static analysis tool for shell scripts

Dockerfile linter, validate inline bash, written in Haskell

Parsing, analyzing, and comparing source code across many languages

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.

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

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

Functional Programming Course

A modern proof language

Linux VR Desktop

Official Haskell IDE support via the language server protocol (LSP)

💥💻💥 A data-parallel functional programming language

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

The engine for haskell ide-integration. Not an IDE

Research language for array processing in the Haskell/ML family

Tensors and neural networks in Haskell

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

A native compiler backend for PureScript (via C++ or Golang)

Applied Functional Programming Course - Move from exercises to a working app!

🕵️ Haskell STatic ANalyser

🚧 a work in progress effect system for Haskell 🚧

Generator of runtime monitors for flight and robotics applications.

Retrie is a powerful, easy-to-use codemodding tool for Haskell.

In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distinguishing features and detailing them with working code example…

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

Erlang backend for the PureScript compiler

An ML-like functional programming language

Generate Haskell bindings for GObject-Introspection capable libraries