Pinned Repositories
b-tree
Haskell on-disk B* tree implementation
bayes-stack
Framework for Gibbs sampling of probabilistic models
dhall-gitlab-ci
A Dhall encoding of the GitLab CI configuration schema
ghc-debug
Moved to Haskell.org GitLab.
ghc-dump
A GHC plugin and library for analysing GHC Core
html-parse
A high-performance, reasonably robust HTML5 tokenizer
io-uring
A simple set of io-uring bindings in Haskell
monoidal-containers
Maps using values' monoidal structure during merging
nix-pkgconfig
A pkg-config wrapper exposing nixpkgs packages
optimization
Some numerical optimization methods implemented in Haskell
bgamari's Repositories
bgamari/ghc-dump
A GHC plugin and library for analysing GHC Core
bgamari/monoidal-containers
Maps using values' monoidal structure during merging
bgamari/nanomsg-haskell
Haskell bindings to nanomsg
bgamari/ring-buffer
A concurrent mutable ring-buffer
bgamari/vector-fftw
A Haskell binding to the fftw library
bgamari/linear-opengl
Isomorphisms between linear and OpenGL types
bgamari/clash-protocols
a battery-included library for dataflow protocols
bgamari/deepseq
Deep evaluation of data structures
bgamari/file-io
File IO (read/write/open) for OsPath API
bgamari/FloPoCoFloat
bgamari/frosty-planning
Frosty Fleet 9 Race Planning
bgamari/ghc.nix
Nix expression for working on GHC (WIP)
bgamari/ghcup-hs
bgamari/ghcup-metadata
GHCup metadata repository
bgamari/Glasgow.nix
Nix expression for the Glasgow hardware debugging tools
bgamari/haskeline
A Haskell library for line input in command-line programs. http://trac.haskell.org/haskeline
bgamari/mmtk-core
Memory Management ToolKit
bgamari/mosh-with-jump
Mosh wrapper with single jump server capabilities
bgamari/nix-darwin
nix modules for darwin
bgamari/nixos-xlnx
NixOS on Xilinx Zynq and ZynqMP
bgamari/nixpkgs
Nix Packages collection
bgamari/polynomial
Haskell library for manipulating and evaluating polynomials
bgamari/process
Library for dealing with system processes
bgamari/ROCm
AMD ROCm™ Software - GitHub Home
bgamari/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
bgamari/solvers.nix
Nix packaging for PETSC and related solvers
bgamari/splines
B-Splines, other splines, and NURBS in Haskell.
bgamari/STL
STL 3D geometry format parsing and pretty-printing in Haskell
bgamari/text
An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
bgamari/unix
POSIX functionality