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!
Ophir Geffen
Ophir Geffen
Using Haskell since 2014
Reveal email address
You can ask me about full- or part-time employment
Living in Tel Aviv-Yafo
Skills
Advanced type-level programming (GADTs, TypeFamilies, proofs, etc.)
Artificial Intelligence
Categorical Programming
Compilers
Computer algebra
Concurrent Haskell
DSL Design
Databases
Distributed systems
Formal Verification
GHC internals
Hardware Acceleration DSLs
High-performance Haskell
Image processing
Machine Learning
Monadic Parser Combinators
Natural Language Processing (tagging, parsing, translation,...)
Numerical Computation
Packaging for Debian
Parallelism
Programming language translation
Programming using Arrows
Property based testing (QuickCheck)
Prototyping
Purely functional data structures — design and implementation
Reactive programming
Reverse Engineering
Signal Processing
Software packaging/distribution tools
Streaming data (conduit/enumerator/pipes)
Systems programming
Transactional business applications development
UNIX Scripting
Login with
Login using
— OR —