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!

Compatibility tool for Steam Play based on Wine and additional components

A virtual memory scanner

Purely functional GLL parser combinators for Haskell

The Helium compiler, Helium-as-a-library, and the texthint interpreter

minimal example of running nightly builds