Parsing, analyzing, and comparing source code across many languages

Functional Programming Course

The Haskell Tool Stack

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

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.

Terminal-based presentations using Pandoc

What I Wish I Knew When Learning Haskell

Miscellaneous articles. The readme is the table of contents.

Cryptol: The Language of Cryptography

The Egison Programming Language

Slides and other materials for functional programming lectures ITMO university

Write You a Scheme

Haskell Programming From First Principles - Follow-up Resources

Automatic Differentiation

Classic Algorithm W for type inference.

"Toy" SMT Solver for Educational Purposes

a Haskell implementation of Deep Learning frameworks.

C model checking.

Haskell implementations of examples from "Types and Programming Languages" by Benjamin C. Pierce

Haskell implementations of different calculi from the TAPL book by Prof. Pierce.