cdsmith

HMock

Mock framework for testing in Haskell

explainable-predicates

Predicates that can explain themselves

voronoizer

spatial-voting

prob

edgy

Haskell graph database (in memory)

monoidal-stats

persistent-stm

STM transactions involving persistent storage

haskell-via-sokoban

A haskell tutorial using CodeWorld

ourmud

cfrac

codeworld

Educational computer programming environment using Haskell

codex

UI experiments for coda

disco

Functional teaching language for use in a discrete mathematics course

flatparse

Fast parsing from bytestrings

flmdata

Data repo for Fermat's Last Margin

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

haskell-docs

haskell-language-server

Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

lambox

Haskell Text User Interface Library

leavitt

lpe

Lightweight programming editor

rle

Run length encoded sequences

stable-diffusion.cpp

Stable Diffusion in pure C/C++

stackage

"Stable Hackage": vetted consistent packages from Hackage

summer-of-haskell

Source code of summer.haskell.org

TCache

Transactional cache with configurable persistence

tech-proposals

The Haskell Foundation Tech Proposal Process

vscode-haskell

VS Code extension for Haskell, powered by haskell-language-server

zfoh.ch

Our homepage