Projects in Awesome Lists by sheaf
A curated list of projects in awesome lists by sheaf .
https://github.com/sheaf/acts
Haskell library for semigroup actions and torsors
haskell-library semigroup-actions transformations
Last synced: 26 Aug 2025
https://github.com/sheaf/if-instance
GHC plugin to branch on whether a constraint is satisfied
Last synced: 21 Mar 2025
https://github.com/sheaf/ghc-tcplugin-api
An interface for GHC type-checking plugins
Last synced: 21 Mar 2025
https://github.com/sheaf/groovy-lambda
VS Code color theme optimised for Haskell, based on Gruvbox Material.
Last synced: 25 Jan 2026
https://github.com/sheaf/gtk-layers
Demonstration of GTK4 TreeListView with drag-and-drop
Last synced: 12 Apr 2025
https://github.com/sheaf/ghc-renamer
Slides for my talk at the GHC contributors' workshop (2023)
Last synced: 26 Oct 2025
https://github.com/sheaf/polynomial-roots
Haskell program to produce images of polynomial roots (and corresponding iterated function systems)
Last synced: 19 Aug 2025
https://github.com/sheaf/groups-generic
Derive Group instances using generics (Haskell library)
Last synced: 26 Oct 2025
https://github.com/sheaf/sams-plugin
A proof of concept typechecking plugin that generates instances for optics
Last synced: 10 Nov 2025
https://github.com/sheaf/generic-labels
Labelled arguments with optional parameters in Haskell, using generic-lens
Last synced: 11 Nov 2025
https://github.com/sheaf/ghc-constraint-solver
Slides for my talk at Haskell eXchange 2021
Last synced: 18 Sep 2025
https://github.com/sheaf/many-args
Test repository for GHC worker wrapper optimisation
Last synced: 10 Nov 2025
https://github.com/sheaf/coerce-data
Coerce between data types with this GHC typechecker plugin
Last synced: 12 Jun 2026
https://github.com/sheaf/unary-scheduling
Constraint propagation algorithms for unary resource scheduling
Last synced: 10 Nov 2025
https://github.com/sheaf/map-plugin
Test type-checker plugin for type-level maps
Last synced: 10 Nov 2025
https://github.com/sheaf/cabal-talk
Slides + supplementary material for my talk at the Haskell Ecosystem Workshop (June 7th 2024)
Last synced: 11 Nov 2025
https://github.com/sheaf/hiw-tcplugins
Slides for my talk at HIW 2021: rewriting type families with GHC type-checker plugins.
Last synced: 24 Jan 2026