sheaf's repositories
generic-labels
Labelled arguments with optional parameters in Haskell, using generic-lens
exists
Existential datatypes holding evidence of constraints
finite-typelits
A type inhabited by finitely many values, indexed by type-level naturals.
generic-data
Generic data types in Haskell, utilities for GHC.Generics
gi-cairo-render
Haskell GI friendly bindings to the Cairo library
haskell-lsp
Haskell library for the Microsoft Language Server Protocol
map-plugin
Test type-checker plugin for type-level maps
monad-control
Lift control operations, like exception catching, through monad transformers
primitive-unlifted
the PrimUnlifted typeclass, an interface arrays of unlifted values
superrecord
Haskell: Supercharged anonymous records
tcplugins-zurihac2020
ZuriHac 2020 GHC typechecker plugins project
text-short
Memory-efficient representation of Unicode text strings
tracing
A simple physically-based path tracer
transformers-base
Haskell library for lifting actions from the bottom of a monad transformer stack
unary-scheduling
Constraint propagation algorithms for unary resource scheduling
unlifted
experimenting with unlifted classes via backpack
unordered-containers
Efficient hashing-based container types
vscode-theme-gruvbox
Gruvbox theme for vscode based on https://github.com/morhetz/gruvbox