gereeter/cola
A pure Haskell implementation of a persistent Cache Oblivious Lookup Array
Developer Profile
gereeter
Discovered public repositories for gereeter in the GitHub catalog.
gereeter/bounded-intmap
A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.
gereeter/simple-regions
A simple implementation of monadic regions, allowing safe access to resources with prompt, automatic finalization.
gereeter/monad-safe
A composale way to run finalizers in the face of errors
gereeter/mono-traversable
Type classes for mapping, folding, and traversing monomorphic containers
gereeter/streamable
A generic interface to stream fusion
gereeter/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
gereeter/chunked-conduit
Perfect streaming in conduit using chunking
gereeter/Haskell-Pipes-Parse-Library
Parsing for the pipes ecosystem
gereeter/parray
A reimplementation of/playground for understanding Data Parallel Haskell
gereeter/existential
Public repository.
gereeter/pure-stm
An implementation of STM written purely in Haskell
gereeter/threadlocal
Public repository.
gereeter/Haskell-Foldl-Library
Composable, streaming, and efficient left folds
gereeter/containers
Public repository.
gereeter/quickspec
Equational laws for free
gereeter/reactive-banana
Reactive-banana is a library for functional reactive programming, written in the beautiful language Haskell.
gereeter/ajhc
A fork of jhc.
gereeter/conduit
A pull-based approach to streaming data.
gereeter/critbit
A Haskell implementation of crit-bit trees.