Parsing, analyzing, and comparing source code across many languages

A strongly-typed language that compiles to JavaScript

Compiler for Elm, a functional language for reliable webapps.

A friendly programming language from the future

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

A modern proof language

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

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

🇪🇺 Wire back-end services

Research language for array processing in the Haskell/ML family

Haskell 101 and 102: slides and codelabs

Miscellaneous articles. The readme is the table of contents.

A little course to learn about some of the more obscure GHC extensions.

A statically-typed linear functional language with graded modal types for fine-grained program reasoning

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…

An interpreter for learning and exploring pure λ-calculus

Compiling to Categories

The symbolic execution engine powering the K Framework

Embedded specification language & model checker in Haskell

A Pascal to LLVM compiler in Haskell

Continuation Presentation for the Bay Area Haskell Users Group