Ben Gamari's repositories
nix-pkgconfig
A pkg-config wrapper exposing nixpkgs packages
the-thoralf-plugin
This a type-checker plugin to rule all type checker plugins involving type-equality reasoning using smt solvers.
attoparsec
A fast Haskell library for parsing ByteStrings
mediawiki-annotate
Extract text and document structure from MediaWiki content
http-parsers
Simple attoparsec-based parsers for HTTP requests, responses, and headers
indexed-vector
Vectors indexed by arbitrary types
pipes-lzma
LZMA compressors and decompressors for the Pipes library
T2374-benchmark
Benchmark for GHC ticket #2374
haskell-terminal
Haskell library for terminal interaction (without terminfo dependency but with Windows support)
marge-bot
A merge-bot for GitLab
mmtk-ghc
GHC binding for MMTk
pinch
A serialization library for Haskell that provides support for Apache Thrift.
pipes-bzip
Bzip2 compression and decompression for Pipes streams
pipes-zlib
Pipes to deal with zlib compressed data.
simdjson
Parsing gigabytes of JSON per second
spacemacs-config
My Spacemacs configuration
text-pipes
Text pipes
v4l2loopback
v4l2-loopback device