ShellCheck, a static analysis tool for shell scripts

Parsing, analyzing, and comparing source code across many languages

Functional Programming Course

An advanced keyboard manager

The core of xmonad, a small but functional ICCCM-compliant tiling window manager

The engine for haskell ide-integration. Not an IDE

lamdu - towards the next generation IDE

Command-line Kanban board/task manager with support for Trello boards and GitHub projects

Homomorphic machine learning

A declarative Unix terminal UI library written in Haskell

Miscellaneous articles. The readme is the table of contents.

Cryptol: The Language of Cryptography

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

Functional Programming Course

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

Haskell code prettifier

A formatter for Haskell source code

Command-line benchmark tool

High performance, concurrent functional programming abstractions

A wayland compositor based on ideas from and inspired by xmonad

A standard library for Haskell

Cloud Haskell core libraries

A gtk based status bar for tiling window managers such as XMonad

haskell source code formatter

Release with confidence, state-of-the-art property testing for Haskell.

Course materials for Stanford CS240h, "Functional Systems in Haskell"

Experimental implementation of Cubical Type Theory

Haskell pretty printer

A demo implementation of a simple dependently-typed language

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup