sheaf
Follow
-
ghc-proposals Public
Forked from ghc-proposals/ghc-proposalsProposed compiler and language changes for GHC and GHC/Haskell
Python UpdatedApr 21, 2025 -
ghc-typelits-knownnat Public
Forked from clash-lang/ghc-typelits-knownnatDerive KnownNat constraints from other KnownNat constraints
Haskell Other UpdatedApr 2, 2025 -
ghc-typelits-natnormalise Public
Forked from clash-lang/ghc-typelits-natnormaliseNormalise GHC.TypeLits.Nat equations
Haskell Other UpdatedApr 1, 2025 -
ghc-tcplugins-extra Public
Forked from clash-lang/ghc-tcplugins-extraUtilities for writing GHC type-checker plugins
Haskell Other UpdatedApr 1, 2025 -
if-instance Public
GHC plugin to branch on whether a constraint is satisfied
-
acts Public
Haskell library for semigroup actions and torsors
-
coerce-data Public
Coerce between data types with this GHC typechecker plugin
Haskell UpdatedJan 4, 2025 -
large-records Public
Forked from well-typed/large-recordsLibrary to support efficient compilation of large records (linear in the number of record fields)
Haskell BSD 3-Clause "New" or "Revised" License UpdatedDec 20, 2024 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedDec 18, 2024 -
-
ghc-tcplugin-api Public
An interface for GHC type-checking plugins
-
language-haskell Public
Forked from JustusAdam/language-haskellHighlighting support for the Haskell language in visual studio code.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 27, 2024 -
haskell-gi Public
Forked from haskell-gi/haskell-giGenerate Haskell bindings for GObject-Introspection capable libraries
Haskell Other UpdatedSep 22, 2024 -
gtk-layers Public
Demonstration of GTK4 TreeListView with drag-and-drop
-
-
process Public
Forked from haskell/processLibrary for dealing with system processes
Haskell Other UpdatedJul 25, 2024 -
cabal-talk Public
Slides + supplementary material for my talk at the Haskell Ecosystem Workshop (June 7th 2024)
JavaScript UpdatedJun 3, 2024 -
-
waargonaut Public
Forked from haskell-waargonaut/waargonautJSON decoding/encoding/manipulation library.
Haskell Other UpdatedMay 27, 2024 -
eigen Public
Forked from chessai/eigenHaskell bindings to the Eigen C++ library
C++ Other UpdatedMay 23, 2024 -
-
groups-generic Public
Derive Group instances using generics (Haskell library)
-
-
ghc-renamer Public
Slides for my talk at the GHC contributors' workshop (2023)
-
-
containers Public
Forked from haskell/containersAssorted concrete container types
Haskell UpdatedMar 18, 2023 -
Polynomial-roots Public
Haskell program to produce images of polynomial roots (and corresponding iterated function systems)
-
vulkan-1 Public
Forked from expipiplus1/vulkanHaskell bindings for Vulkan
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMar 15, 2023 -
-
haskell-floating-point Public
Forked from minoki/haskell-floating-pointHaskell libraries for floating point numbers (fp-ieee and rounded-hw)
Haskell UpdatedJan 13, 2023