Ben Gamari

icon indicating a website link http://smart-cactus.org/~ben icon indicating an email [email protected]

icon company Well Typed LLP icon location Portsmouth, NH, United States icon location I enjoy compilers, hiking, and bicycling

Results 4 repositories owned by Ben Gamari

b-tree

115
Stars
6
Forks
Watchers

Haskell on-disk B* tree implementation

verified publisher icon bgamari

bayes-stack

49
Stars
4
Forks
Watchers

Framework for Gibbs sampling of probabilistic models

verified publisher icon bgamari

ghc-dump

53
Stars
10
Forks
Watchers

A GHC plugin and library for analysing GHC Core

verified publisher icon bgamari

the-thoralf-plugin

22
Stars
6
Forks
Watchers

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

verified publisher icon bgamari