Parsing, analyzing, and comparing source code across many languages

Terminal-based presentations using Pandoc

Haskell 101 and 102: slides and codelabs

Liquid Types For Haskell

Embedded language for high-performance array computations

A stream-based runtime-verification framework for generating hard real-time C code.

Cgrep: a context-aware grep for source codes

Project templates for stack new

OwnCloud for owls done via The Microservice Architecture

Literate Haskell support for Markdown

1 Haskell A Day exercises

DEPRECATED: Accelerate backend for NVIDIA GPUs

Obsidian Language Repository

An experiment in re-implementing big integers in Haskell.