ShellCheck, a static analysis tool for shell scripts

Universal markup converter

REST API for any Postgres database

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

An advanced keyboard manager

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

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

Koka language compiler and interpreter

A static website compiler library in Haskell

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Haskell to JavaScript compiler, based on GHC

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

What I Wish I Knew When Learning Haskell

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

💥💻💥 A data-parallel functional programming language

🍜 A tasty Haskell front-end framework

Lenses, Folds, and Traversals - Join us on web.libera.chat #haskell-lens

Homomorphic machine learning

Haskell to VHDL/Verilog/SystemVerilog compiler

A fast Haskell JSON library

Misc. publications, conference slides, etc. For more, go to http:https://BartoszMilewski.com

Liquid Types For Haskell

Haskell library for building declarative animations based on SVG graphics

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 …

Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.