Ben Gamari's repositories
monoidal-containers
Maps using values' monoidal structure during merging
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
graphia.nix
A Nix flake of Graphia
symbol-graph
A small hack for analyzing object file sizes
array
WORK-IN-PROGRESS / DO NOT USE YET
binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
clash-compiler
CAES Language for Synchronous Hardware
clash-protocols
a battery-included library for dataflow protocols
cocotb-bus
Pre-packaged testbenching tools and reusable bus interfaces for cocotb
frosty-planning
Frosty Fleet 9 Race Planning
ghc-typelits-extra
Extra type-level operations on GHC.TypeLits.Nat and a custom solver
ghc-typelits-knownnat
Derive KnownNat constraints from other KnownNat constraints
ghc-typelits-natnormalise
Normalise GHC.TypeLits.Nat equations
ghcup-metadata
GHCup metadata repository
gmp-tarballs
GHC's GMP tarballs
haskell-lockfree
A collection of different packages for CAS based data structures.
mtl
The Monad Transformer Library
nixos-xlnx
NixOS on Xilinx Zynq and ZynqMP
popcount-benchmark
This benchmark suite tests two popcount implementations: in Haskell and C
time
A time library