Open source stenotype engine

Coverage-guided, in-process fuzzing for the JVM

Spoofax runtime

Regular tree automata library by Michael D. Adams

Orphan Observable instances for haskell-src-exts datatypes

A new Categories library for Agda

Brogue: Community Edition - a community-lead fork of the much-loved minimalist roguelike game

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

Efficient hashing-based container types

DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads

🗞️ HLint as a GHC source plugin.

The engine for haskell ide-integration. Not an IDE

Cached Haskell IDE Engine Nix builds for all GHC versions

A full implementation of the Scheme programming language for the Haskell Platform.

Sturdy is a library for developing sound static analyses in Haskell.

Code from the book "Types and Programming Languages" in Scala

Staged Abstract Interpreters

A Cataclysm: Dark Days Ahead launcher with additional features

Proposed compiler and language changes for GHC and GHC/Haskell

The virtual Eurorack studio

jack2 codebase

Real-time audio in NixOS

Cataclysm - Dark Days Ahead: Voxel client

A Haskell library for typesafe music composition

Scala Cheat Sheet

A libhal stub library forwarding to UDisks specifically to satisfy the libflashplayer.so / libadobecp requirements

Fork of official GHC repository.