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!
kirstin rhys
kirstin rhys
Using Haskell since 1998
Reveal email address
You can ask me about full-time employment
Living in 90068
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Categorical Programming
Concurrent Haskell
DSL Design
Databases
Formal Verification
Functional graphics programming (2D, 3D, GPU)
Graphical User Interfaces
Happstack Web Framework
High-performance Haskell
Image processing
Numerical Computation
Packaging for Debian
Parallelism
Physics & Simulation
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Systems programming
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Yesod Web Framework
Packages
Not public, but I extended the Data.Vector package for Shapes and Slices
Check package dependency status.
Login with
Login using
— OR —