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!
Joseph Abrahamson
Joseph Abrahamson
Using Haskell since 2006
[email protected]
http://jspha.com
You can ask me about full- or part-time employment
Living in Baltimore, MD
Freenode
tel
Twitter
sdbo
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Agile software development
Artificial Intelligence
Bioinformatics
Categorical Programming
Compilers
Computational Geometry
Computer algebra
Concurrent Haskell
Cryptography
DSL Design
Databases
Denotational design
Foreign Function Interface (FFI)
Formal Verification
Generic Programming
Graphical User Interfaces
Happstack Web Framework
High-performance Haskell
Image processing
Machine Learning
Monadic Parser Combinators
Network programming
Parallelism
Physics & Simulation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Proving observational equivalence between Haskell programs
Purely functional data structures — design and implementation
Signal Processing
Snap Web Framework
Streaming data (conduit/enumerator/pipes)
Systems programming
Teaching Haskell
UNIX Scripting
Web development (HTML, CSS and Javascript)
Packages
riemann-hs
saltine
Check package dependency status.
Login with
Login using
— OR —