sheaf's repositories
groovy-lambda
VS Code color theme optimised for Haskell, based on Gruvbox Material.
zero-to-quake-3
Implementing Quake 3 in Haskell & Vulkan
ghc-constraint-solver
Slides for my talk at Haskell eXchange 2021
large-anon
Scalable anonymous records
typelits-witnesses
Existential witnesses, singletons, and classes for operations on GHC TypeLits
binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
computational-algebra
General-Purpose Computer Algebra System as an EDSL in Haskell
dear-imgui.hs
Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
fbghc
Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.
generic-lens
Generically derive traversals, lenses, and prisms.
generics-sop
Generic Programming using True Sums of Products
ghc-tcplugins-extra
Utilities for writing GHC type-checker plugins
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
happy
The Happy parser generator for Haskell
haskell-language-server
Successor of ghcide & haskell-ide-engine. One IDE to rule them all.
HIW-tcplugins
Slides for my talk at HIW 2021: rewriting type families with GHC type-checker plugins.
large-records
Library to support efficient compilation of large records (linear in the number of record fields)
optics
Optics as an abstract interface
record-dot-preprocessor
A preprocessor for a Haskell record syntax using dot
records-sop
Experimental implementation of generic record subtyping
win32
Haskell support for the Win32 API