[Read-only mirror] The buck2-prelude used at Mercury. Send changes to https://gerrit.oss.mercury.com/q/project:buck2-prelude+status:open. Accounts available by request.

Haskell implementation of the Ribbit VM

GHC build with buck2

Building Haskell with Buck2 - ICFP 2024 - Haskell Implementors Workshop (Haskell Symposium)

Variational Satisfiability Solver

define ZF Set Theory in Agda and it's model on Ordinal and Ordinal Definable Set

GHC plugin for open telemetry

A wrapper tool for nix OpenGL application [maintainer=@guibou]

dear imgui binding via fficxx

Defect Process (2d hack n' slash game) full source code

A graphical tool for profiling parallel Haskell programs

Pipe the GHC eventlog stream to a UNIX domain socket

Haskell dynamic RTS loader

Type composition classes & instances & misc

A `nix` and `nix-shell` wrapper for shells other than `bash`

A compiler for functional programs on serialized data

Refactor Haskell source files

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Quake 3 map viewer in Haskell using GPipe

Trace the call graph of a Haskell program

Set breakpoints using a GHC plugin

Staged push/pull fusion with typed Template Haskell

Inspecting tool for GHC compilation pipeline

provide GHC with only clang

ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory

compact-word-vectors Haskell library: Small vectors of small integers