Parsing, analyzing, and comparing source code across many languages

Functional Programming Course

Functional Programming concepts, examples and patterns illustrated in Haskell, Ocaml and Python

Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)

😎 The open-source, Haskell-built video editor for GIF makers.

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

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

Haskell library for space- and time-efficient operations over Unicode text.

🎮 NES Emulator written in Haskell

My sandbox for experimenting with solver algorithms.

Haskell Test Framework

A small NuPRL style proof assistant

Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows

Haskell's Core in K.

Webhook → Script