Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

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

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

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

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

🍜 A tasty Haskell web framework

Haskell bindings for TensorFlow

Haskell to VHDL/Verilog/SystemVerilog compiler

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

A programming language with static memory management based on λ-calculus

Applicative option parser

A monadic parser combinator library

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

Introductory Haskell course materials (originally CIS 194 @ UPenn)

Port "Software Foundations" to LiquidHaskell

Implementation of symbolic AI techniques for the board game 'Connect Four'

Implementations of data structures from Okasaki's "Purely Functional Data Structures" verified using LiquidHaskell