Compiler backend for generating Scheme code

Dump the declarations of Haskell modules

Automated packages for XR/AR/VR tools and apps for NixOS [maintainer=@Scrumplex]

Minimal implementations for dependent type checking and elaboration

Thunderbifd extension to provide Addy.io / AnonAddy functionality when composing messages in Thunderbird

An open source flight dynamics & control software library

A lightweight and full-featured cross-platform desktop client for self-hosted music servers

Source code of summer.haskell.org

Introductory Haskell course materials (originally CIS 194 @ UPenn)

Haskell implemented with combinators

Compiler for Swiftlet

Agda formalisation of second-order abstract syntax

Elegant UCI chess engine in Haskell

Shantell Sans, from Shantell Martin, is a marker-style font built for creative expression, typographic play, and animation.

Official Haskell IDE support via the language server protocol (LSP)

A slow-paced introduction to reflection in Agda. ---Tactics!

Paper and talk

Convert Haskell source code to Template Haskell expressions using GHC's parser

A language with dependent data and codata types

Fast parsing from bytestrings

DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of configurability and hooks. Demo:

Emacs Plus formulae for the Homebrew package manager

🦥 Supercharge your Haskell experience in neovim!

A virtual memory scanner

Purely functional GLL parser combinators for Haskell

minimal example of running nightly builds

Scripts and instructions for using CI services (e.g. Travis CI or Appveyor) with multiple GHC configurations