CD2H gitForager

Edward Kmett

Login: ekmett

Company: Digital Asset

Location: Cambridge, MA

Bio: I write a lot of Haskell.

Blog: http://comonad.com

Member of

Repositories

abelian: Commutative Applicatives and Semigroups
ad: Automatic Differentiation
adjunctions: Simple adjunctions
aeson-lens: Lens of Aeson
algebra: constructive abstract algebra
ansi-terminal: Simple Haskell ANSI terminal support, with Windows compatibility
ansi-wl-pprint: The Wadler/Leijen Pretty Printer for colored ANSI terminal output
approximate: Approximate discrete values and numbers
arcade: A physics playground
bifunctors: Haskell 98 bifunctors, bifoldables and bitraversables
bits: Bit twiddling and bitwise serialization primitives
bitwise: Clone of https://gitorious.org/bitwise
blase: Robust, efficient, Haskell BLAS bindings (work in progress)
bound: Combinators for manipulating locally-nameless generalized de Bruijn terms
bytes: Serialization primitives that work with both cereal and binary.
bytestring: An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
bytestring-builders-benchmark: A benchmark comparing different ways of building a bytestring in Haskell
categories: categories from category-extras
category-extras: category-theoretic goodness for Haskell
category-theory: A formalization of category theory in Coq for personal study
charset: fast utf-8 character sets
CMake: Common CMake modules
coda: A language experiment, something to do on my vacation -- irc.freenode.net ##coda
colorimetry: A bunch of random colorimetry data I've harvested from various sources.
comonad: Haskell 98 comonads
comonad-extras: Comonad transformers that require Haskell extensions
comonads-fd: comonad transformers based on functional-dependencies
comonad-transformers: Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.
compensated: Compensated floating-point arithmetic
compiler: some compiler tech
compressed: Compressed generators for monoidal reducers
concurrent: Yet another concurrent playground
concurrent-supply: A fast globally unique variable supply with a pure API
constraints: Tools for programming with ConstraintKinds in GHC
containers: null
contravariant: Haskell 98 contravariant functors
crypto-api: Haskell generic interface (type classes) for cryptographic algorithms
data-lens: Haskell 98 Lenses
data-lens-fd: Lenses with Functional Dependencies
data-lens-template: Template Haskell utilities for Data.Lens -- Russell O'Connor now maintains this package, this is not the official repository any more
data-store: Multi-key multi-value store for Haskell native data types with type safe interface.
dd: null
dense: can we backpack small dense matrices? this is mostly just to get a sense of blockers
deque: Type-aligned Deques in Haskell
discrimination: Fast linear time sorting and discrimination for a large class of data types
distributive: Dual Traversable
docker-haskell: Haskell on Docker
doctest: An implementation of Python's doctest for Haskell
dsl2011: McMaster DSL Workshop 2011
dysfunctional: april fools?
either: the EitherT monad transformer
ekg: Remote monitoring of running processes over HTTP
ekmett.github.com: haddocks
eq: Leibnizian type equality
ermine: Ermine
ersatz: A monad for interfacing with external SAT solvers
exceptions: mtl friendly exceptions
fast-tags: Incremental vi tags for haskell.
fib: Work in progress
fixed: S15.16 fixed-precision arithmetic
fixed-precision: Fixed Precision Arithmetic
flrc: Haskell Research Compiler
flrc-benchmarks: Benchmarks for use with IntelLabs/flrc.
flrc-lib: Pillar compiler, Pillar runtime, garbage collector.
folds: Folds and sequence algebras
foreign: A more robust foreign function interface for dynamic functions
foreign-var: Foreign variables and settings for libraries such as SDL2, OpenGL, etc.
fractions: lazy continued fractions
free: free monads
functorial: variance-aware functional-programming in scala
gc: Poor Richard's Memory Manager
generic-deriving: null
ghc: Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Trac (http://hackage.haskell.org/trac/ghc) or sent to the mailing list (ghc-devs@haskell.org)
ghclive: Google Summer of Code 2012 project, GHCi for the web
ghc-proposals: Proposed compiler and language changes for GHC and GHC/Haskell
gl: Complete raw OpenGL bindings for Haskell
graphs: a monadic graph library
grid: distributed heterogeneous computation
groupoids: Haskell 98 Groupoids
hadoom: A little Doom-like 2.5 game engine
half: half-precision floating-point
hash: Double hashing, rolling hashes, CRCs, etc.
hashable: A class for types that can be converted to a hash value
hashable-extras: Higher-rank hashable
hask: Category theory for Haskell with a lens flavor (you need GHC 7.8.3, not 7.8.2 to build this!)
haskell-hedgehog: Hedgehog will eat all your bugs.
heaps: Asymptotically optimal Brodal/Okasaki heaps
HerbiePlugin: GHC plugin that improves Haskell code's numerical stability
highc: Functional absurdity in C#
hmpfr: Clone of Ales Bizjak's hmpfr repository for use in tracking down errors caused by GHC munging GMP's memory allocation, and MPFR using GMP
homebrew: The missing package manager for OS X.
homotopy: null
hw-json-lens: null
hybrid-vectors: Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms
hyperfunctions: playing with hyperfunctions
hyperloglog: A constant-memory approximation of set membership
hyphenation: Knuth-Liang Hyphenation for Haskell based on TeX hyphenation files
indexed: Indexed Functors for GHC 7.6
integration: Fast quadrature techniques
intern: Hash consing for arbitrary Haskell data types
intervals: Interval Arithmetic
ixset: multiply indexed sets (ported from happstack)
jitplusplus: a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly
js-parsers: Parsing combinators for javascript
kan-extensions: Kan extensions, Kan lifts, the Yoneda lemma, and (co)monads generated by a functor
kata: parts of a kata compiler
kevin: Fast RFC-compliant multi-user IRC <-> deviantART chat proxy. Also, example of non-trivial Haskell program dealing with IO and concurrency 8)
keys: keyed functors
lagrangian: Solve lagrangian multiplier problems
layout: packrat parser combinators in scala for dealing with Haskell-style layout in linear time for visibly pushdown languages
lca: Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing
lens: Lenses, Folds, and Traversals - Join us on freenode #haskell-lens
lens-action: Control.Lens.Action
lens-constraints: null
linear: Low-dimensional linear algebra primitives for Haskell.
linear-accelerate: Instances to mix linear with accelerate
llvm-hs-pretty: Pretty printer for LLVM AST to Textual IR
log-domain: This package provides log-domain floats, doubles and complex numbers for Haskell.
logict: A backtracking logic-programming monad.
luthor: fast unicode-enabled quasiquoted lexers for Haskell (work in progress)
machines: Networks of composable stream transducers
magpie: an exploration of subtyping-based category theory in scala
memo: Generic memo combinators
models: null
monadcryptorandom: A Random Monad that allows the generator to fail cleanly
monadic-arrays: MArray instances for monad transformers
MonadicRP: Relativistic programming in GHC Haskell
monad-products: monad products (for use until the transformers monad instances on products show up)
monad-ran: Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style
monad-st: A basic monad for lifting ST actions
monoids: Monoids, specialized containers and a general map/reduce framework
multicategories: Playing around with multicategories and operads
multipass: multipass calculations
nanogi: A small, reference GI renderer
nats: Haskell 98 Natural Numbers
natural-gmp: A GMP natural number library for GHC, modeled on integer-gmp
numeric-extras: Missing Numerical Operations
objective-c: Toy objective c bindings
old-arcade: nothing to see here, move along
openexr: Low-level Haskell Bindings to Industrial Light & Magic's OpenEXR Library
openexr-1: OpenEXR is a high dynamic-range (HDR) image file format developed by Industrial Light & Magic for use in computer imaging applications
order-statistics: L-estimators and order statistics
packages-base: Mirror of packages-base repository. DO NOT SUBMIT PULL REQUESTS HERE
packunused: Tool for detecting redundant Cabal package dependencies
parsec-parsers: Orphan instances so you can use `parsers` with `parsec`.
parsers: Generic parser combinators
perhaps: A monad, perhaps.
physics: playing around with heavily polymorphic rigid body physics
pointed: pointed and copointed data
predictors: A playground for fiddling with probability
prelude-extras: Haskell 98 higher order versions of Haskell Prelude classes to facilitate polymorphic recursion and reduce UndecidableInstances
primitive: This package provides various primitive memory-related operations.
profunctor-extras: Profunctor composition
profunctors: Haskell 98 Profunctors
promises: lazy promises
propagators: The Art of the Propagator. See also:
quine: haskell, opengl, toy project
rad: Reverse-Mode Automatic Differentiation (subsumed by 'ad')
rcu: experimenting with STM-backed read-copy-update in Haskell
reactive: a development fork of conal's reactive library, to convert from category-extras to the new smaller packages
reactor: task parallel reactive programming in haskell
recursion-schemes: Generalized bananas, lenses and barbed wire
reducers: Semigroups, specialized containers and a general map/reduce framework
reflection: Reifies arbitrary Haskell terms into types that can be reflected back into terms
representable-functors: representable functors
representable-profunctors: Representable profunctors
representable-tries: representable tries
revisions: A monad for spark-based deterministic concurrent revision control
roles: An alternative, composable model of RoleAnnotations via type classes
rope: Fingertrees of Bytestrings
rounded: MPFR bindings for Haskell
rounding: Explicit Floating Point Rounding-Mode Wrappers (requires working rounding mode support from libc, which isn't present in glibc) -- use 'rounded' instead or link this against crlibm somehow.
rts: spmd-on-simd stuff
rules: possibly playing with equality saturation
safe-exceptions: Safe, consistent, and easy exception handling
scala-ad: Forward- and Reverse-Mode Automatic Differentiation for Scala
scala-attoparsec: A port of Bryan O'Sullivan's attoparsec from Haskell to Scala
scala-numerics: a scala numerical tower
scalaz: An extension to the core scala library.
scheme-monads: minimalist polymorphic scheme-(co)monads, written to avoid use of any advanced language features except hygienic macros
sdl2: Haskell bindings to the SDL2 library
search: infinite search in finite time with Hilbert's epsilon
semigroupoid-extras: semigroupoid products and coproducts
semigroupoids: null
semigroups: Haskell 98 semigroups
sets: Benchmarks for set data structures: hash sets, dawg's, bloom filters, etc.
sig-tool: Tool for signing, verifying and installing signed packages from sig-archive
soutei: a logic-based trust-management system
sparse: sparse matrices in Morton order
speculation: Safe, programmable, speculative evaluation for Haskell
speculation-transformers: ContT versions of the speculation combinators
spmd: exploring spmd-on-simd as a small c++ library
stable-maps: Heterogeneous collections indexed by StableNames
stackage: "Stable Hackage," tools for creating a vetted set of packages from Hackage.
stm-hash: STM based sorted linear hash tables
streams: Haskell 2010 stream comonads
structs: Exploring how to make a strict imperative universe in the GHC runtime system.
structures: A playground for working on advanced data structures in Haskell
succinct: playground for working with succinct data structures
suspension: null
syb-extras: higher order versions of the "Scrap Your Boilerplate" combinators to ease the implementation of polymorphic recursion and reduce UndecidableInstances
tables: Deprecated because of
tag-bits: Provides access to GHC's dynamic pointer tag bits
tagged: phantom types
tagged-transformer: Haskell 98 monad transformer adding a phantom type argument
tasks: A work-stealing task scheduler
text: An efficient packed, immutable Unicode text type for Haskell, with a powerful loop fusion optimization framework.
thc: An experimental "Turbo" Haskell Runtime - Nothing really to see here yet
thrists: Now located in the 'categories' branch of free
thyme: null
time-series: Playing with time series
traced: Maintenance for Lennart Augustsson's 'traced' package.
transformers: A branch of transformers for work on mtl
transformers-compat: transformers compatibility shim
transients: Clojure-style transients for Haskell
trifecta: Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink
type-int: Type level 2's and 16's complement arithmetic (old)
unamb: Faster Data.Unamb using tag-bits
unboxed-containers: Unboxed containers using view patterns (unfinished)
unification: Haskell 98 Unification
unification-fd: Simple generic unification algorithms
unique: fast unique variables
unpacked-containers: Unpacked containers using backpack
update: (Co)update (co)monads and right monoid actions
vector: An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .
vector-instances: Additional Instances for Data.Vector
void: Provides Data.Void, which is in base since ghc 7.8 or so
vr: nothing to see here
vulkan: Haskell bindings for Vulkan
wl-pprint-extras: A free monad based on the Wadler/Leijen pretty printer
wl-pprint-terminfo: A color pretty printer with terminfo support
wxHaskell: wxWidgets wrapper for Haskell
zippers: Zippers based on lenses and traversals
zippo: A simple lens-based, generic, heterogenous, type-checked haskell zipper library
zlib-lens: zlib support for lens

Commits To

Repository	Most Recent Commit	# Commits

This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.