Haskell
-- Language
English
Japanese
Spanish
French
Hebrew
Russian
Ukrainian
The meeting place for professional Haskell programmers
Overview
Groups
Find
a Haskeller
Find a Job
Polls
Bling
FAQ
News Archive
Browse Skills
Login
I'm a Haskeller!
Edward Kmett
Edward Kmett
Using Haskell since 2006
Reveal email address
http://comonad.com/reader/
I am not currently seeking employment
Living in Berkeley, CA
About Me
Programmer, Mathematician, Consultant
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Attribute Grammar
Bioinformatics
Categorical Programming
Concurrent Haskell
DSL Design
Darcs internals
Denotational design
Foreign Function Interface (FFI)
Formal Verification
Functional graphics programming (2D, 3D, GPU)
GHC internals
Generic Programming
Graphical User Interfaces
Hardware Acceleration DSLs
Haskell on embedded devices
High-performance Haskell
Metaprogamming via Template Haskell
Natural Language Processing (tagging, parsing, translation,...)
Physics & Simulation
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Robotics and Automation
Signal Processing
Teaching Haskell
Transactional business applications development
UNIX Scripting
Web development (HTML, CSS and Javascript)
Packages
ad
adjunctions
algebra
ansi-wl-pprint
approximate
base-orphans
bifunctors
bits
blase
bound
bytes
categories
category-extras
charset
comonad
comonad-extras
comonads-fd
comonad-transformers
compensated
compressed
concurrent-supply
constraints
contravariant
data-lens
data-lens-fd
data-lens-template
discrimination
distribution
either
eq
ersatz
exceptions
fixed
fixed-precision
folds
foreign-var
free
functor-apply
gc
gl
graphs
groupoids
half
hash
hashable-extras
hask
heaps
hybrid-vectors
hyperfunctions
hyperloglog
hyphenation
integration
intern
intervals
ixset
kan-extensions
keys
lca
lens
lens-action
lens-aeson
lens-core
lens-properties
linear
linear-accelerate
log-domain
luthor
machines
monadic-arrays
monad-param
monad-products
monad-ran
monad-st
monoids
mtl
multipass
nats
numeric-extras
order-statistics
parsec-parsers
parsers
perhaps
pointed
prelude-extras
profunctor-extras
profunctors
promises
rad
rcu
reactor
reducers
reflection
reflection-extras
representable-functors
representable-profunctors
representable-tries
rope
rounding
search
semigroupoid-extras
semigroups
sparse
speculation
speculation-transformers
stable-maps
StateVar
stm-hash
streams
structs
structures
syb-extras
tables
tag-bits
tagged
tagged-transformer
tasty
traced
transformers-compat
trifecta
type-int
unamb
unboxed-containers
unique
unpacked-containers
vector-instances
void
wl-pprint-extras
wl-pprint-terminfo
zippers
zlib-extras
Check package dependency status.
Login with
Login using
— OR —