Filter with effects

type level sets

Code accompanying the paper Reflection without Remorse:Revealing a hidden sequence to speed up monadic reflection

Haskell code complexity and quality measurement

Haskell Library implementing standard functions for the Algebra of Physical Space Cl(3,0)

Go get tested! Github Actions matrix generator for your haskell projects' CI

Shell Integration Library [Haskell]

A tiny language for teaching and experimenting with Refinement Types

Dump GHC's abstract syntax trees

Coordinate-free hypersurfaces as Haskell types

Haskell typechecker

Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck

A helpful companion to GHC. Overrides GHC messages, to the user's liking.

Highly polymorphic algebraic structures with custom deriving strategies

A VM written following the Linear Abstract Machine architecture

Helper package for working with SVG in Reflex

Basic mathematics library

Linear maps as a GADT

A type system for GNU Guile Scheme (WIP)

Maps for efficiently looking up key ranges

Human readable hash for Haskell.

Simple X11 compositor in Haskell

This is a GHC source plugin to detect type variables that are unquantified

Official upstream development repository for Cabal and cabal-install