Ben Gamari (bgamari)

bgamari

Geek Repo

Company:Well Typed LLP

Location:Portsmouth, NH, United States

Home Page:http://smart-cactus.org/~ben

Github PK Tool:Github PK Tool


Organizations
analytics
p-v-o-s

Ben Gamari's repositories

b-tree

Haskell on-disk B* tree implementation

Language:HaskellLicense:BSD-3-ClauseStargazers:116Issues:9Issues:1

nix-pkgconfig

A pkg-config wrapper exposing nixpkgs packages

Language:PythonStargazers:25Issues:0Issues:0

the-thoralf-plugin

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

Language:HaskellLicense:MITStargazers:22Issues:6Issues:12

attoparsec

A fast Haskell library for parsing ByteStrings

Language:HaskellLicense:NOASSERTIONStargazers:10Issues:0Issues:0

warc

A Pipes-based parser for the Web Archive (WARC) format used by the Common Crawl and others

Language:HaskellLicense:BSD-3-ClauseStargazers:8Issues:7Issues:0

hs-usdt

A library for introducing USDT tracepoints into Haskell programs

Language:HaskellStargazers:5Issues:0Issues:0

mediawiki-annotate

Extract text and document structure from MediaWiki content

Language:HaskellStargazers:4Issues:0Issues:0

pipes-s3

A simple library for interfacing with Amazon's S3 storage service via the Haskell Pipes library

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:4Issues:3

fork-map

Out-of-process mapping

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

http-parsers

Simple attoparsec-based parsers for HTTP requests, responses, and headers

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:0

indexed-vector

Vectors indexed by arbitrary types

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

lamp

A bike lamp design

Language:RustStargazers:1Issues:2Issues:0

pipes-lzma

LZMA compressors and decompressors for the Pipes library

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:4Issues:2

T2374-benchmark

Benchmark for GHC ticket #2374

Language:HaskellStargazers:1Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

haskell-terminal

Haskell library for terminal interaction (without terminfo dependency but with Windows support)

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

libbpf

Automated upstream mirror for libbpf stand-alone build.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

marge-bot

A merge-bot for GitLab

Language:PythonLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

mmtk-ghc

GHC binding for MMTk

Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

pinch

A serialization library for Haskell that provides support for Apache Thrift.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

pipes-bzip

Bzip2 compression and decompression for Pipes streams

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

pipes-zlib

Pipes to deal with zlib compressed data.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

simdjson

Parsing gigabytes of JSON per second

License:Apache-2.0Stargazers:0Issues:0Issues:0

spacemacs-config

My Spacemacs configuration

Language:Emacs LispStargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0

text-pipes

Text pipes

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

time

A time library

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

v4l2loopback

v4l2-loopback device

License:GPL-2.0Stargazers:0Issues:0Issues:0