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!
Brent Yorgey
Brent Yorgey
Using Haskell since 2006
Reveal email address
http://www.cis.upenn.edu/~byorgey/
You can ask me about full- or part-time employment
Living in Philadelphia (University of Pennsylvania)
Freenode
byorgey
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Cabal internals
Categorical Programming
DSL Design
Denotational design
Formal Verification
Functional graphics programming (2D, 3D, GPU)
Generic Programming
Property based testing (QuickCheck)
Teaching Haskell
Packages
active
BlogLiterately
BlogLiterately-diagrams
boxes
diagrams
diagrams-builder
diagrams-cairo
diagrams-contrib
diagrams-core
diagrams-haddock
diagrams-lib
force-layout
haxr
multiset-comb
np-extras
oeis
ottparse-pretty
RepLib
species
split
tau
unbound
vector-space-points
xmonad-contrib
zipedit
Check package dependency status.
Login with
Login using
— OR —