Parsing, analyzing, and comparing source code across many languages

Compiler for Elm, a functional language for reliable webapps.

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

Functional Programming Course

A modern proof language

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…

C to Rust translator

Haskell to VHDL/Verilog/SystemVerilog compiler

Haskell source code suggestions

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

Educational computer programming environment using Haskell

Tensors and neural networks in Haskell

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

Bluespec Compiler (BSC)

A formatter for Haskell source code

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

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

A standard library for Haskell

Minimal implementations for dependent type checking and elaboration

🌀 Safe, performant, user-friendly and lightweight Haskell standard library

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

A demo implementation of a simple dependently-typed language

Haskell implemented with combinators

A user-centric visual STG implementation to help understand GHC/Haskell's execution model.

Introduction to parsing with Haskell and Parsec

📖 source material for Thinking with Types

An interpreter for learning and exploring pure λ-calculus

Compiling to Categories

Domain-Specific Languages of Mathematics