11 open source projects by bgamari

Haskell on-disk B* tree implementation

Framework for Gibbs sampling of probabilistic models

Some numerical optimization methods implemented in Haskell

A concurrent mutable ring-buffer

A naive implementation of wavelet trees

My XMonad configuration

A high-performance, reasonably robust HTML5 tokenizer

A pkg-config wrapper exposing nixpkgs packages

Haskell bindings to nanomsg

Utilities I find useful while working on GHC (mirror of GitLab repo)

This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.